Denotational Semantics in the CPO and Metric Approach

From International Center for Computational Logic

Toggle side column

Denotational Semantics in the CPO and Metric Approach

Christel BaierChristel Baier,  Mila E. Majster-CederbaumMila E. Majster-Cederbaum
Christel Baier, Mila E. Majster-Cederbaum
Denotational Semantics in the CPO and Metric Approach
Theoretical Computer Science, 135(2):171--220, 1994
  • 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}
}