Open AccessA 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.