A Fully Abstract Denotational Model for Observational Congruence
Anna Ingólfsdóttir, Andrea Schalk · BRICS Report Series · 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.