Graph Transformation

Volume 2505 of the series Lecture Notes in Computer Science pp 8-13


Bigraphs as a Model for Mobile Interaction

  • Robin MilnerAffiliated withThe Computer Laboratory, Cambridge University

* Final gross prices may vary according to local VAT.

Get Access


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.