An Automated Based Verification Environment for Mobile Processes
Abstract elided by the publisher.
Related papers
- Verifying Mobile Processes in the HAL Environment CAV 1998
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Iso-Recursive Multiparty Sessions and their Automated Verification ESOP 2025
- Experience report: functional programming of mHealth applications ICFP 2013
- Molecule: using monadic and streaming I/O to compose process networks on the JVM OOPSLA 2012
- Native-2-native: automated cross-platform code synthesis from web-based programming resources GPCE 2015
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- LoRe: A Programming Model for Verifiably Safe Local-first Software TOPLAS 2024