Bigraphs are a topographical model of reactive systems that aim to unify existing theoretical approaches to mobile communicating agents. They combine two structures orthogonally: connectivity and locality. Thus, for example, they represent both ambients and pi-calculus; the topography deals not only with (even physical) locality but also with abstract notions such as the scope of a name. In my talk I shall explain how recent joint work with Jamey Leifer on relative pushouts enables transition systems to be derived for pi-calculus and ambients (in recent work by Ole Jensen), and I shall present condition-event Petri nets as an example. © 2004 Springer Science + Business Media, Inc.
CITATION STYLE
Milner, R. (2004). Towards a broader theory of mobile processes. In IFIP Advances in Information and Communication Technology (Vol. 155, p. 19). Springer New York LLC. https://doi.org/10.1007/1-4020-8141-3_3
Mendeley helps you to discover research relevant for your work.