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/