Abstract
A domain theoretical denotational model is given for a simple sublanguage<br />of CCS extended with divergence operator. The model is derived as<br />an abstraction on a suitable notion of normal forms for labelled transition<br />systems. It is shown to be fully abstract with respect to observational<br />precongruence.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
