Bigraphical Reactive Systems

By Robin Milner. International Conference on Concurrency Theory, 2001

417 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

A brief history of process algebra (2005, neutral): “As to unifying frameworks for diﬀerent mobile calculi, Milner investigates action calculus [76] and bigraphs [78].”
Rule-Based Modelling of Cellular Signalling (2007, positive): “It is useful to think of rule-based modeling as a task in concurrent programming, where rules are computational instructions that contribute to system behavior, as in the bigraphical reactive systems [38].”
BioAmbients: an abstraction for biological compartments (2004, methodology): “We note that Bigraphs, recently developed by Milner [14] as a graphical formalism for concurrency, has striking resemblance to our informal models and have been shown adequate to represent both the π-calculus and the original ambient calculus .”