Archived tweet #1538 from the @leastfixedpoint Twitter Archive

Hey, does anyone use the Concurrency Workbench any more? I'm looking for a tool to help me model some π-calculus failure semantics.