A Fully Abstract Denotational Model for Observational Congruence

Authors

  • Anna Ingólfsdóttir
  • Andrea Schalk

DOI:

https://doi.org/10.7146/brics.v2i40.19942

Abstract

A domain theoretical denotational model is given for a simple sublanguage
of CCS extended with divergence operator. The model is derived as
an abstraction on a suitable notion of normal forms for labelled transition
systems. It is shown to be fully abstract with respect to observational
precongruence.

Downloads

Published

1995-06-10

How to Cite

Ingólfsdóttir, A., & Schalk, A. (1995). A Fully Abstract Denotational Model for Observational Congruence. BRICS Report Series, 2(40). https://doi.org/10.7146/brics.v2i40.19942