Software and tools

Choral development methodology

Choral

A mainstream choreographic programming language.

jLibBig logo

jLibBig

A Java library for Bigraphs and Bigraphical Reactive Systems.

epim demo screenshot

EPiM

A simulator for π-calculus processes.