Continuous pi-calculus workbench