Abstract
A domain theoretic 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have