A Fully Abstract Denotational Model for Observational Congruence
Anna Ingólfsdóttir August 1995 |
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.
Available as PostScript, PDF, DVI. |