Certified implementability of global multiparty protocols
From MaRDI portal
Cites work
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- A core model for choreographic programming
- A higher-order logic for concurrent termination-preserving refinement
- A sound and complete projection for global types
- A theory of design-by-contract for distributed multiparty interactions
- Causal Message Sequence Charts
- Certifying data in multiparty session types
- Complete multiparty session type projection with automata
- Completeness of asynchronous session tree subtyping in Coq
- Generalising Projection in Asynchronous Multiparty Session Types.
- HOCore in Coq
- scientific article; zbMATH DE number 2086413 (Why is no real title available?)
- scientific article; zbMATH DE number 1418329 (Why is no real title available?)
- Infinite-state high-level MSCs: model-checking and realizability
- Lectures on Concurrency and Petri Nets
- Lightening global types
- Multiparty asynchronous session types
- Multiparty session types meet communicating automata
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- On Communicating Finite-State Machines
- Parameterised multiparty session types
- Precise subtyping for synchronous multiparty sessions
- Realizability of high-level message sequence charts: closing the gaps
- Synchronizability of communicating finite state machines is not decidable
This page was built for publication: Certified implementability of global multiparty protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7323662)
