A fully abstract domain model for the π-calculus

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Abramsky's domain equation for bisimulation and the author's categorical models for names combine to give a domain-theoretic model for the π-calculus. This is set in a functor category which provides a syntax-free interpretation of fresh names, privacy visibility and non-interference between processes. The model is fully abstract for strong late bisimilarity and equivalence (bisimilarity under all name substitutions)
Original languageEnglish
Title of host publicationLogic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages36-42
Number of pages7
DOIs
Publication statusPublished - 1 Jul 1996

Fingerprint

Dive into the research topics of 'A fully abstract domain model for the π-calculus'. Together they form a unique fingerprint.

Cite this