A Fully Abstract Denotational Model for Observational Congruence

Anna Ingólfsdóttir
Andrea Schalk

August 1995


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.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.