A fully abstract denotational model for observational precongruence

Anna Ingólfsdóttir,Andrea Schalk

doi:10.1007/3-540-61377-3_47

A fully abstract denotational model for observational precongruence

Anna Ingólfsdóttir, Andrea Schalk

https://doi.org/10.1007/3-540-61377-3_47

Copy DOI

Publication Date: Jan 1, 1996

Affiliation: Danish National Research Foundation, Aalborg University, University of Cambridge

#Denotational Model #Divergence Operator + Show 6 more

Abstract
Full-Text PDF
Similar Papers

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.KeywordsNormal FormOperational SemanticProof SystemLabel Transition SystemDenotational SemanticThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Full Text