tcs01locs.ps (356.41 kB)
A fully abstract denotational semantics for the p-calculus
journal contribution
posted on 2023-06-07, 14:10 authored by Matthew HennessyThis paper describes the construction of two set-theoretic denotational models for the p-calculus. The models are obtained as initial solutions to domain equations in a functor category. By associating with each syntactic construct of the p-calculus a natural transformation over these models we obtain two interpretations for the language. We also show that these models are fully abstract with respect to natural behavioural preorders over terms in the language. By this we mean that two terms are related behaviourally if and only if their interpretations in the model are related. The behavioural preorders are the standard versions of may and must testing adapted to the p-calculus.
History
Publication status
- Published
Journal
Theoretical Computer ScienceISSN
0304-3975Publisher
Elsevier Science Publishers Ltd.External DOI
Issue
1-2Volume
278Page range
53-89Department affiliated with
- Informatics Publications
Full text available
- Yes
Peer reviewed?
- Yes
Legacy Posted Date
2008-02-27Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC