Bigraphs as a Model for Mobile Interaction

Robin Milner

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

Abstract

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

Cite this