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

Documents Related by Co-Citation

59 Bigraphs and Mobile Processes (revised) – Ole Høgh Jensen, Robin Milner - 2004
26 Transition systems, link graphs and Petri nets – James J. Leifer, Robin Milner - 2004
32 Stochastic Bigraphs – Jean Krivine, Robin Milner, Angelo Troina - 2008
15 Bigraphs whose names have multiple locality – R Milner - 2004
56 Bigraphs and transitions – O H Jensen, R Milner - 2003
33 Bigraphs for Petri nets – Robin Milner - 2004
26 Bigraphical Models of Context-aware Systems – L. Birkedal, S. Debois, E. Elsborg, T. Hildebrandt, H. Niss - 2005
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
50 Pure bigraphs: structure and dynamics – Robin Milner - 2005
63 2001): Bigraphical Reactive Systems – Robin Milner
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
7 Axiomatization of Binding Bigraphs (Revised – T C Damgaard, L Birkedal - 2005
13 Sortings for Reactive Systems – Lars Birkedal, Søren Debois, Thomas Hildebrandt - 2006
7 Bigraphical Programming Languages—A LaCoMoCo Research Project – Lars Birkedal - 2004
137 A Spatial Logic for Concurrency (Part I) – Luis Caires, Luca Cardelli - 2002
20 Matching of Bigraphs – Lars Birkedal, Troels Christoffer Damgaard, Arne John Glenstrup, Robin Milner - 2006
5 Axiomatixing binding bigraphs – Troels C Damgaard, Lars Birkedal - 2005
52 Deciding Validity in a Spatial Logic for Trees – Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon - 2003
272 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001