A Fully Abstract Denotational Model for Observational Congruence

Anna Ingólfsdóttir, Andrea Schalk

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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v2i40.19942
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the State and University Library and Aarhus University Library