User Tools

Site Tools


bigraphs

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/

bigraphs.txt · Last modified: 2007/06/12 20:15 by nik