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
Pages8-13
Number of pages6
Volume2505
ISBN (Electronic)978-3-540-45832-6
ISBN (Print)978-3-540-44310-0
DOIs
Publication statusPublished - 2002

Fingerprint

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

Cite this