Bigraphs as a Model for Mobile Interaction

Robin Milner

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

Abstract / Description of output

A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them. BRSs represent a wide variety of calculi for mobility, including the π-calculus. This short essay explains how bigraphs compose, and uses the π-calculus to illustrate how they already provide elements of a unifying theory for calculi of mobile interactive processes.
Original languageEnglish
Title of host publicationGraph Transformation
Subtitle of host publicationFirst International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages6
ISBN (Electronic)978-3-540-45832-6
ISBN (Print)978-3-540-44310-0
Publication statusPublished - 2002


Dive into the research topics of 'Bigraphs as a Model for Mobile Interaction'. Together they form a unique fingerprint.

Cite this