A Modal Logic for Message passing Processes (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Collective Contracts for Message-Passing Parallel Programs CAV 2024
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009
- Parallel complexity analysis with temporal session types ICFP 2018
- A Dynamic Logic of Multiprocessing with Incomplete Information POPL 1980
- Verifying message-passing programs with dependent behavioural types PLDI 2019
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know JFP 2013
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026