A fully abstract domain model for the π-calculus

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

Abstract / Description of output

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)
Number of pages7
Publication statusPublished - 1 Jul 1996


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

Cite this