Multiparty Asynchronous Session Types
From MaRDI portal
Publication:3177766
DOI10.1145/2827695zbMATH Open1426.68047OpenAlexW2325347394MaRDI QIDQ3177766FDOQ3177766
Marco Carbone, Kohei Honda, Nobuko Yoshida
Publication date: 2 August 2018
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2827695
Recommendations
- Multiparty asynchronous session types
- A gentle introduction to multiparty asynchronous session types
- Parameterised multiparty session types
- Parameterised Multiparty Session Types
- Multiparty session types, beyond duality
- Fault-tolerant multiparty session types
- Timed multiparty session types
- Precise Subtyping for Asynchronous Multiparty Sessions
- Multiparty session nets
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (62)
- A model of actors and grey failures
- Undecidability of asynchronous session subtyping
- Input urgent semantics for asynchronous timed session types
- Branching pomsets: design, expressiveness and applications to choreographies
- Mixed Sessions
- Stateful Behavioral Types for Active Objects
- Polymorphic lambda calculus with context-free session types
- Global types with internal delegation
- Reversible sessions with flexible choices
- A coordination protocol language for power grid operation control
- Fair refinement for asynchronous session types
- Interval probability for sessions types
- Precise subtyping for synchronous multiparty sessions
- Parameterised Multiparty Session Types
- Automated modular verification for relaxed communication protocols
- Towards refinable choreographies
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- An abstract framework for choreographic testing
- A Theory of Formal Choreographic Languages
- Session types and subtyping for orchestrated interactions
- ElixirST: a session-based type system for elixir modules
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Certifying data in multiparty session types
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Self-adaptation and secure information flow in multiparty communications
- Security protocols as choreographies
- A type checking algorithm for concurrent object protocols
- Declarative choreographies and liveness
- Session types without sophistry. System description
- Multiparty half-duplex systems and synchronous communications
- Fault-tolerant multiparty session types
- Multiparty session types, beyond duality
- Mixed sessions
- Realisability of pomsets
- Composition and decomposition of multiparty sessions
- Precise Subtyping for Asynchronous Multiparty Sessions
- Title not available (Why is that?)
- Title not available (Why is that?)
- From infinity to choreographies. Extraction for unbounded systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- A core model for choreographic programming
- A type language for distributed reactive components governed by communication protocols
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Deconfined Global Types for Asynchronous Sessions
- Event structure semantics for multiparty sessions
- A reduction semantics for direct-style asynchronous observables
- Branching Pomsets for Choreographies
- Applied Choreographies
- Title not available (Why is that?)
- A theory of design-by-contract for distributed multiparty interactions
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- Fair termination of multiparty sessions
- Title not available (Why is that?)
- Global types and event structure semantics for asynchronous multiparty sessions
- Partially Typed Multiparty Sessions
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Fair asynchronous session subtyping
- Partially typed multiparty sessions with internal delegation
- Towards generalised half-duplex systems
- MAG\(\pi\): types for failure-prone communication
- Mixed choice in session types
This page was built for publication: Multiparty Asynchronous Session Types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177766)
