A Fully Abstract Denotational Model for Observational Congruence | Zendy

Anna Ingólfsdóttir | Zendy; Andrea Schalk | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Fully Abstract Denotational Model for Observational Congruence

Author(s) -

Anna Ingólfsdóttir,

Andrea Schalk

Publication year - 1995

Publication title -

brics report series

Language(s) - English

Resource type - Journals

eISSN - 1601-5355

pISSN - 0909-0878

DOI - 10.7146/brics.v2i40.19942

Subject(s) - sublanguage , congruence (geometry) , abstraction , denotational semantics , simple (philosophy) , mathematics , discrete mathematics , computer science , algebra over a field , semantics (computer science) , pure mathematics , programming language , operational semantics , philosophy , geometry , epistemology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research