Axioms For Bigraphical Structure (2005)

Cached

Download Links

by Robin Milner
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:36 - 8 self

Active Bibliography

26 Transition systems, link graphs and Petri nets – James J. Leifer, Robin Milner - 2004
50 Pure bigraphs: structure and dynamics – Robin Milner - 2005
59 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
25 Bigraphical Reactive Systems: Basic Theory – Robin Milner - 2001
1 On graph(ic) encodings – Roberto Bruni, Ivan Lanese - 2005
20 Matching of Bigraphs – Lars Birkedal, Troels Christoffer Damgaard, Arne John Glenstrup, Robin Milner - 2006
11 Locating Reaction with 2-categories – Vladimiro Sassone, Pawel Sobocinski - 2004
Prologue – Robin Milner
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
17 Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names – Mikkel Bundgaard, Thomas Hildebrandt - 2006
36 Reactive Systems over Cospans – Vladimiro Sassone, Pawel Sobocinski - 2005
9 Abstract Semantics by Observable Contexts – Filippo Bonchi - 2008
14 Labels from Reductions: Towards a General Theory – Bartek Klin, Vladimiro Sassone, Paweł Sobociński - 2005
6 Model checking for nominal calculi – Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto - 2005
8 On the Construction of Sorted Reactive Systems – Lars Birkedal, Søren Debois, Thomas Hildebrandt - 2008
22 Deriving bisimulation congruences: 2-categories vs. precategories – Vladimiro Sassone, Paweł Sobociński - 2003
Higher-order Contexts via Games and the Int-construction – Lars Birkedal, Mikkel Bundgaard, Søren Debois, Davide Grohmann, Thomas Hildebrandt - 2009
1 Reactive Systems, (Semi-)Saturated Semantics and Coalgebras on Presheaves – Ugo Montanari - 2009