Fair termination of multiparty sessions
From MaRDI portal
Cites work
- A graphical approach to progress for structured communication in web services
- A New Type System for Deadlock-Free Processes
- A theory of contracts for strong service compliance
- A type system for lock-free processes
- Deadlock analysis of unbounded process networks
- Deadlock and lock freedom in the linear -calculus
- Fair subtyping for multi-party session types
- Fair subtyping for open session types
- Fairness and hyperfairness
- Fairness and related properties in transition systems - a temporal logic to deal with fairness
- Fundamental properties of infinite trees
- Generalizing inference systems by coaxioms
- Global progress for dynamically interleaved multiparty sessions
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- scientific article; zbMATH DE number 3972158 (Why is no real title available?)
- scientific article; zbMATH DE number 6851955 (Why is no real title available?)
- scientific article; zbMATH DE number 910713 (Why is no real title available?)
- Linear logic propositions as session types
- Linear logical relations for session-based concurrency
- Multiparty asynchronous session types
- Multiparty Asynchronous Session Types
- Multiparty session types as coherence proofs
- Observational equivalence for multiparty sessions
- On resolving non-determinism in choreographies
- Precise subtyping for synchronous multiparty sessions
- Propositions as sessions
- Proving Liveness Properties of Concurrent Programs
- Session types revisited
- Subtyping for session types in the pi calculus
- Subtyping Supports Safe Session Substitution
- Taking linear logic apart
- Talking bananas: structural recursion for session types
Cited in
(2)
This page was built for publication: Fair termination of multiparty sessions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561335)
