A persistent execution engine for pi-calculus workflows
A discrete event simulator for asynchronous prioritized processes