Bigraphs and Mobile Processes (revised) (2004)
by
Ole Høgh Jensen
,
Robin Milner
| Citations: | 56 - 6 self |
BibTeX
@TECHREPORT{Jensen04bigraphsand,
author = {Ole Høgh Jensen and Robin Milner},
title = {Bigraphs and Mobile Processes (revised)},
institution = {},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to model spatially distributed systems that both compute and communicate. In this memorandum we develop their static and dynamic theory. In Part I we illustrate...
