The Flux of Interaction

Robin Milner

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


A graphical model of interactive systems called bigraphs is introduced, resting on the orthogonal treatment of connectivity and locality. The model will be shown to underlie several calculi for mobile systems, in particular the π-calculus and the ambient calculus. Its core behavioural theory will be outlined.
Original languageEnglish
Title of host publicationApplications and Theory of Petri Nets 2001
Subtitle of host publication22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages4
ISBN (Electronic)978-3-540-45740-4
ISBN (Print)978-3-540-42252-5
Publication statusPublished - 2001


Dive into the research topics of 'The Flux of Interaction'. Together they form a unique fingerprint.

Cite this