==== bigraphs ====


A graph based formalism extending the [[Pi Calculus]] (along with unifying Petri nets, pi-calculus and mobile ambients) developed by [[Robin Milner]] (and others.. .)


Bigraphical Programming Languages (BPL) http://www.itu.dk/research/theory/bpl/