PrDK: Protocol Programming with Automata
No abstract available.
Related papers
- Abstracting Cryptographic Protocols with Tree Automata SAS 1999
- An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols ESOP 2025
- Design-By-Contract for Flexible Multiparty Session Protocols ECOOP 2022
- Complete Multiparty Session Type Projection with Automata CAV 2023
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- What packets may come: automata for network monitoring POPL 2001
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021