The Vizier kernel-free notebook programming environment
A persistent execution engine for pi-calculus workflows