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.
|Title of host publication||Graph Transformation|
|Subtitle of host publication||First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings|
|Publisher||Springer Berlin Heidelberg|
|Number of pages||6|
|Publication status||Published - 2002|