Modal Abstractions of Concurrent Behaviour
No abstract available.
Related papers
- Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) GPCE 2026
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion CAV 1995
- Behavioural Equivalence via Modalities for Algebraic Effects ESOP 2018
- Behavioural Equivalence via Modalities for Algebraic Effects TOPLAS 2020
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- A Constraint Oriented Proof Methodology Based on Modal Transition Systems TACAS 1995
- Verifying message-passing programs with dependent behavioural types PLDI 2019
- Elements of Quantitative Rewriting POPL 2023