Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)
暂无分享,去创建一个
[1] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[2] Thomas T. Hildebrandt,et al. Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names , 2006, GT-VC@CONCUR.
[3] Robin Milner,et al. Bigraphs and mobile processes (revised) , 2004 .
[4] Martín Abadi,et al. Explicit substitutions , 1989, POPL '90.
[5] Robin Milner,et al. Deriving Bisimulation Congruences for Reactive Systems , 2000, CONCUR.
[6] Robin Milner,et al. Bigraphs and transitions , 2003, POPL '03.
[7] Robin Milner,et al. Transition systems, link graphs and Petri nets , 2006, Mathematical Structures in Computer Science.
[8] Robin Milner,et al. Bigraphs whose names have multiple locality , 2004 .