Verifying Mobile Processes in the HAL Environment
Abstract elided by the publisher.
Related papers
- An Automated Based Verification Environment for Mobile Processes TACAS 1997
- Experience with the Normal Semantic Definition of HAL/S PLDI 1982
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Molecule: using monadic and streaming I/O to compose process networks on the JVM OOPSLA 2012
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- Reducing Transfer Delay Using Java Class File Splitting and Prefetching OOPSLA 1999
- A Hybrid Type System for Lock-Freedom of Mobile Processes CAV 2008
- Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close ESOP 2005