The Mobility Workbench - A Tool for the pi-Calculus
Abstract elided by the publisher.
Related papers
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution VMCAI 2003
- Migrating custom DSL implementations to a language workbench (tool demo) SLE 2018
- Freon: An Open Web Native Language Workbench SLE 2022
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000