Formalising subject reduction and progress for multiparty session processes
From MaRDI portal
Cites work
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- A formal theory of choreographic programming
- A higher-order logic for concurrent termination-preserving refinement
- A sound and complete projection for global types
- Completeness of asynchronous session tree subtyping in Coq
- Crash-stop failures in asynchronous multiparty session types
- Fundamental approaches to software engineering. 19th international conference, FASE 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
- Higher-order ghost state
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- Iris: monoids and invariants as an orthogonal basis for concurrent reasoning
- Kalas: a verified, end-to-end compiler for a choreographic language
- Linear type theory for asynchronous session types
- Multiparty Asynchronous Session Types
- Multiparty session actors
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Precise Subtyping for Asynchronous Multiparty Sessions
- Precise subtyping for synchronous multiparty sessions
- Separation and encodability in mixed choice multiparty sessions
- The essence of higher-order concurrent separation logic
- The power of parameterization in coinductive proof
- Timed runtime monitoring for multiparty conversations
- Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Pa
This page was built for publication: Formalising subject reduction and progress for multiparty session processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7323667)
