A Semantic Theory for Value-Passing Processes, Late Approach, Part I: A Denotational Model and a Complete Axiomatization

Anna Ingólfsdóttir

In 6th NWPT, pages 203-219

Abstract:

A general class of languages and denotational models for value-passing calculi based on the late semantic approach is defined. A concrete instantiation of the general syntax is given. This is a modification of the standard according to the late approach. A denotational model for the concrete language is given, an instantiation of the general class. An equationally based proof system is defined and shown to be sound and complete with respect to the model.

Comments
BRICS, Institute for Electronic Systems, Department of Mathematics and Computer Science, Aalborg University, Denmark.

Available as PostScript, DVI.

BRICS WWW home page