A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization

Authors

  • Anna Ingólfsdóttir

DOI:

https://doi.org/10.7146/brics.v2i3.19505

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 CCS 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.

Downloads

Published

1995-01-03

How to Cite

Ingólfsdóttir, A. (1995). A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization. BRICS Report Series, 2(3). https://doi.org/10.7146/brics.v2i3.19505