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 language | English |
---|---|
Title of host publication | Graph Transformation |
Subtitle of host publication | First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings |
Publisher | Springer |
Pages | 8-13 |
Number of pages | 6 |
Volume | 2505 |
ISBN (Electronic) | 978-3-540-45832-6 |
ISBN (Print) | 978-3-540-44310-0 |
DOIs | |
Publication status | Published - 2002 |