Bigraphs as a Model for Mobile Interaction

Robin Milner

doi:10.1007/3-540-45832-8_3

Bigraphs as a Model for Mobile Interaction

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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 Berlin Heidelberg
Pages	8-13
Number of pages	6
Volume	2505
ISBN (Electronic)	978-3-540-45832-6
ISBN (Print)	978-3-540-44310-0
DOIs	https://doi.org/10.1007/3-540-45832-8_3
Publication status	Published - 2002

Access to Document

10.1007/3-540-45832-8_3

http://link.springer.com/chapter/10.1007%2F3-540-45832-8_3

Cite this

@inproceedings{9c55786ca72e48f1a16fb1c72f3dcd02,

title = "Bigraphs as a Model for Mobile Interaction",

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.",

author = "Robin Milner",

year = "2002",

doi = "10.1007/3-540-45832-8_3",

language = "English",

isbn = "978-3-540-44310-0",

volume = "2505",

pages = "8--13",

booktitle = "Graph Transformation",

publisher = "Springer Berlin Heidelberg",

}

TY - GEN

T1 - Bigraphs as a Model for Mobile Interaction

AU - Milner, Robin

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-45832-8_3

DO - 10.1007/3-540-45832-8_3

M3 - Conference contribution

SN - 978-3-540-44310-0

VL - 2505

SP - 8

EP - 13

BT - Graph Transformation

PB - Springer Berlin Heidelberg

ER -