The Flux of Interaction

Robin Milner

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

Abstract

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
Pages19-22
Number of pages4
Volume2075
ISBN (Electronic)978-3-540-45740-4
ISBN (Print)978-3-540-42252-5
DOIs
Publication statusPublished - 2001

Fingerprint

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

Cite this