Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)

Robin Milner

Research output: Contribution to journalArticlepeer-review


The notion of confluence is studied on the context of bigraphs. Confluence will be important in modelling real-world systems, both natural (as in biology) and artificial (as in pervasive computing). The paper uses bigraphs in which names have multiple locality; this enables a formulation of the lambda calculus with explicit substitutions. The paper reports work in progress, seeking conditions on a bigraphical reactive system that are sufficient to ensure confluence; the conditions must deal with the way that bigraphical redexes can be intricately intertwined. The conditions should also be satisfied by the lambda calculus. After discussion of these issues, two conjectures are put forward.
Original languageEnglish
Pages (from-to)65-73
Number of pages9
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - Jun 2007


  • bigraph
  • locality
  • confluence
  • lambda calculus

Fingerprint Dive into the research topics of 'Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)'. Together they form a unique fingerprint.

Cite this