A verification environment for bigraphs

Allan R (2010) Computing grand challenges. Technical Report DL-TR-2010-008, Science and Technology Facilities Council, Japan

Bacci G, Grohmann D, Miculan M (2009) DBtk: a toolkit for directed bigraphs. Algebra Coalgebra Comput Science, Italy

Bundgaard M, Sassone V (2006) Typed polyadic pi-calculus in bigraphs. In: PPDP’06. ACM, New York. doi: 10.1145/1140335.1140336

Calder M, Sevegnani M (2012) Process algebra for event-driven runtime verification: a case study of wireless network management. In: Integrated formal methods. Springer, Berlin, pp 21–23

Elsborg E, Hildebrandt T, Sangiorgi D (2009) Type systems for bigraphs. In: TGC 2008. Lecture Notes in Computer Science, vol 5474. Springer, Berlin. doi: 10.1007/978-3-642-00945-78

Glenstrup A, Damgaard T, Birkedal L (2007) Højsgaard. An implementation of bigraph matching, Pennsylvania State University, Pennsylvania

Godefroid P (1996) Partial-order methods for the verification of concurrent systems. Lecture Notes Computer Science, Springer, Berlin

Grohmann D, Miculan M (2007) Directed bigraphs. Electron Notes Theor Comput Sci 173:121–137

Hoare C (1985) Communicating sequential processes. Prentice Hall International, Prentice Hall

Højsgaard E (2012) Bigraphical languages and their simulation. PhD thesis, IT University of Copenhagen, Copenhagen

Jensen O (2006) Mobile processes in bigraphs. http://www.cl.cam.ac.uk/rm135/Jensen-monograph.pdf

Krivine J, Milner R, Troina A (2008) Stochastic bigraphs. Electron Notes Theor Comput Sci 218:73–96

Leifer J, Milner R (2006) Transition systems, link graphs and Petri nets. J Math Struct Comput Sci 16(6):989–1047. doi: 10.1017/S0960129506005664

Milner R (1980) A calculus of communicationsystems. LNCS, vol 92. Springer, Berlin

Milner R (2006) Pure bigraphs: structure and dynamics. Inf Comput 204(1):60–122. doi: 10.1016/j.ic.2005.07.003

Milner R (2007) Local bigraphs and confluence: two conjectures: (extended abstract). In: EXPRESS 2006. Electronic Notes in Theoretical Computer Science, vol 175. Elsevier, Amsterdam. doi: 10.1016/j.entcs.2006.07.035

Milner R (2009) The space and motion of communicating agents. Cambridge University Press, Cambridge

Perrone G, Debois S, Hildebrandt T (2012) A model checker for bigraphs. In: ACM symposium on applied computing 2012—software verification and testing track. ACM, New York

Perrone G (2013) Domain-specific modelling languages in bigraphs. PhD thesis, IT University of Copenhagen, Copenhagen