A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
No abstract available.
Related papers
- Efficient Model Checking Using Tabled Resolution CAV 1997
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010
- Region analysis and a pi-calculus with groups JFP 2002
- Extensionality and Intensionality of the Ambient Logics POPL 2001
- Combinatory Representation of Mobile Processes POPL 1994
- Shape Analysis for Mobile Ambients POPL 2000
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018