Formal Analysis of Message Passing - (Invited Talk)
Abstract elided by the publisher.
Related papers
- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk) APLAS 2004
- Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper) CPP 2018
- Perspectives on formal verification (invited talk) CPP 2016
- Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk) APLAS 2013
- Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk) CPP 2019
- Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk) CPP 2025
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017
- A linear logical framework in hybrid (invited talk) CPP 2019