Multiparty Asynchronous Session Types
From MaRDI portal
Publication:3177766
DOI10.1145/2827695zbMath1426.68047OpenAlexW2325347394MaRDI QIDQ3177766
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
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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (49)
Applied Choreographies ⋮ Certifying data in multiparty session types ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Mixed Sessions ⋮ Session types and subtyping for orchestrated interactions ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Towards refinable choreographies ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Multiparty session types, beyond duality ⋮ Security protocols as choreographies ⋮ Fault-tolerant multiparty session types ⋮ Undecidability of asynchronous session subtyping ⋮ Unnamed Item ⋮ ElixirST: a session-based type system for elixir modules ⋮ Interval probability for sessions types ⋮ From infinity to choreographies. Extraction for unbounded systems ⋮ Stateful Behavioral Types for Active Objects ⋮ Precise subtyping for synchronous multiparty sessions ⋮ A reduction semantics for direct-style asynchronous observables ⋮ Multiparty half-duplex systems and synchronous communications ⋮ Event structure semantics for multiparty sessions ⋮ Branching Pomsets for Choreographies ⋮ A Theory of Formal Choreographic Languages ⋮ A model of actors and grey failures ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Declarative choreographies and liveness ⋮ Partially Typed Multiparty Sessions ⋮ A type language for distributed reactive components governed by communication protocols ⋮ On the boundary between decidability and undecidability of asynchronous session subtyping ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fair refinement for asynchronous session types ⋮ An abstract framework for choreographic testing ⋮ Composition and decomposition of multiparty sessions ⋮ A core model for choreographic programming ⋮ Realisability of pomsets ⋮ A coordination protocol language for power grid operation control ⋮ Unnamed Item ⋮ A type checking algorithm for concurrent object protocols ⋮ Global types with internal delegation ⋮ Session types without sophistry. System description ⋮ Mixed sessions ⋮ Reversible sessions with flexible choices ⋮ Input urgent semantics for asynchronous timed session types ⋮ Polymorphic lambda calculus with context-free session types
This page was built for publication: Multiparty Asynchronous Session Types
