Possibly Related Publications

The following publications are possibly variants of this publication:

• Functions as ProcessesRobin Milner. mscs, 2(2):119-141, 1992.
• Axioms for bigraphical structureRobin Milner. mscs, 15(6):1005-1032, 2005. [doi]
• Strong Normalisation in Higher-Order Action CalculiRobin Milner. tacs 1997: 1-19
• Pervasive Process CalculusRobin Milner. ENTCS, 162:255-259, 2006. [doi]
• Bigraphs and Their AlgebraRobin Milner. ENTCS, 209:5-19, 2008. [doi]
• Computational fluxRobin Milner. POPL 2001: 220-221 [doi]
• A Complete Axiomatisation for Observational Congruence of Finite-State BehaviorsRobin Milner. iandc, 81(2):227-247, May 1989.
• Pure bigraphs: Structure and dynamicsRobin Milner. iandc, 204(1):60-122, 2006. [doi]
• Theories for the Global Ubiquitous ComputerRobin Milner. fossacs 2004: 5-11 [doi]
• Firing SquadRobin Milner. acs 1985: 314-317
• Using Algebra for Concurrency: Some ApproachesRobin Milner. acs 1985: 7-25
• Parallel Combinator Reduction MachineRobin Milner. acs 1985: 121-126