A Fully Abstract Denotational Model for Observational Congruence
AbstractA 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
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
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.