A Hybrid Type System for Lock-Freedom of Mobile Processes
Abstract elided by the publisher.
Related papers
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Channel dependent types for higher-order mobile processes POPL 2004
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- Manifest Deadlock-Freedom for Shared Session Types ESOP 2019
- Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References APLAS 2008
- Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA 2023
- Progress guarantee for parallel programs via bounded lock-freedom PLDI 2009
- Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close ESOP 2005