Global progress for dynamically interleaved multiparty sessions
From MaRDI portal
Publication:5741563
Recommendations
Cites work
- A Type System for Client Progress in a Service-Oriented Calculus
- A theory of design-by-contract for distributed multiparty interactions
- Asynchronous Session Types and Progress for Object Oriented Languages
- Buffered Communication Analysis in Distributed Multiparty Sessions
- Compositional choreographies
- Contracts for Mobile Processes
- Conversation types
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Dynamic multirole session types
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Multiparty asynchronous session types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- Multiparty session types meet communicating automata
- Nested protocols in session types
- On Communicating Finite-State Machines
- Secure distributed programming with value-dependent types
- Session types for access and information flow control
- Specifying stateful asynchronous properties for distributed programs
- Synthesising Choreographies from Local Session Types
- The Conversation Calculus: A Model of Service-Oriented Computation
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
Cited in
(45)- Honesty by typing
- Session coalgebras: a coalgebraic view on session types and communication protocols
- scientific article; zbMATH DE number 7559490 (Why is no real title available?)
- Lightening global types
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- Connecting open systems of communicating finite state machines
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- Type theory based semantic verification for service composition in cloud computing environments
- Multiparty session types, beyond duality
- Event structure semantics for multiparty sessions
- The Paths to Choreography Extraction
- Probabilistic Analysis of Binary Sessions
- Partially typed multiparty sessions with internal delegation
- Applied Choreographies
- Global types and event structure semantics for asynchronous multiparty sessions
- A logical account of subtyping for session types
- Global escape in multiparty sessions
- Global escape in multiparty sessions
- Partial and complete processes in multiparty sessions
- Interval probability for sessions types
- Dynamic multirole session types
- Timed runtime monitoring for multiparty conversations
- Resource sharing via capability-based multiparty session types
- Session-based concurrency in Maude: executable semantics and type checking
- A session type system for asynchronous unreliable broadcast communication
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Global types with internal delegation
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Precise subtyping for synchronous multiparty sessions
- Event-based run-time adaptation in communication-centric systems
- Self-adaptation and secure information flow in multiparty communications
- Data-driven adaptation for smart sessions
- A model of actors and grey failures
- A core model for choreographic programming
- A gentle introduction to multiparty asynchronous session types
- Composition and decomposition of multiparty sessions
- scientific article; zbMATH DE number 7269246 (Why is no real title available?)
- An abstract framework for choreographic testing
- Affine sessions
- An abstract framework for choreographic testing
- Multiparty session types as coherence proofs
- Fair termination of multiparty sessions
- Reversible multiparty sessions with checkpoints
- Deconfined Global Types for Asynchronous Sessions
- A Theory of Formal Choreographic Languages
This page was built for publication: Global progress for dynamically interleaved multiparty sessions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741563)