Bigraphs by Example

Bigraphs by Example (2005)

by Søren Debois , Troels Christoffer Damgaard

Citations:

4 - 2 self

@MISC{Debois05bigraphsby,
    author = {Søren Debois and Troels Christoffer Damgaard},
    title = { Bigraphs by Example},
    year = {2005}
}

725	Mobile ambients - Gordon, Cardelli - 1998
520	Communicating and Mobile Systems: the π-Calculus - Milner - 1999
290	Computer networks: a systems approach - Peterson, Davie
266	The Lambda Calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics - Barendregt - 1985
110	Deriving bisimulation congruences for reactive systems - Leifer, Milner - 2000
103	Mathmatical Games – The fantastic combinations of John Conway’s new solitaire game “Life.” Scientific American 223 - Gardner - 1970
56	Bigraphs and mobiles processes (revised - Jensen, Milner - 2004
54	R.: Bigraphs and transitions - Jensen, Milner - 2003
34	Axioms for bigraphical structure - Milner - 2004
14	Introduction to Automata Theory, Languages and Computation - E, Ullman - 1979
14	Bigraphs whose names have multiple locality - Milner - 2005
5	Bilogics: Spatial-nominal logics for bigraphs - Conforti, Macedonio, et al. - 2004
5	Axiomatixing binding bigraphs - Damgaard, Birkedal - 2005
2	Bigraphs for Petri nets. To appear - Milner - 2004