Finite State Verification for the Asynchronous pi-Calculus
Abstract elided by the publisher.
Related papers
- Algorithmic verification of asynchronous programs TOPLAS 2012
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers CAV 2019
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits CAV 1992
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Deciding Asynchronous Hyperproperties for Recursive Programs POPL 2024
- Data Flow Analysis of Communicating Finite State Machines TOPLAS 1991