Denotational Semantics in the CPO and Metric Approach

Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum

DOI Link

Christel Baier, Mila E. Majster-Cederbaum
Denotational Semantics in the CPO and Metric Approach
Theoretical Computer Science, 135(2):171--220, 1994

Details
Bibtex

KurzfassungAbstract
We investigate the implications of choosing a cpo-framework resp. a complete metric space framework for defining denotational semantics of languages that allow for recursion/iteration, communication and concurrency. We first establish a general framework for the cpo and the metric approach. The existence and uniqueness of meaning functions is studied. In the metric case the existence and uniqueness of a meaning function can be established under some reasonable assumptions. In the cpo-case we obtain the existence of a least meaning function. From these theorems consistency results can be concluded. In the second part we study the impact of the choice between cpo and metric for semantics based on event-structures and for semantics based on pomset classes.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@article{BM1994,
  author  = {Christel Baier and Mila E. Majster-Cederbaum},
  title   = {Denotational Semantics in the {CPO} and Metric Approach},
  journal = {Theoretical Computer Science},
  volume  = {135},
  number  = {2},
  year    = {1994},
  pages   = {171--220},
  doi     = {10.1016/0304-3975(94)00046-8}
}