Multiparty Asynchronous Session Types
From MaRDI portal
Publication:3177766
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)
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
- Timed multiparty session types
- Precise Subtyping for Asynchronous Multiparty Sessions
- Multiparty session nets
Cited in
(72)- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- A theory of design-by-contract for distributed multiparty interactions
- Undecidability of asynchronous session subtyping
- Input urgent semantics for asynchronous timed session types
- A model of actors and grey failures
- Fair termination of multiparty sessions
- Branching pomsets: design, expressiveness and applications to choreographies
- Polymorphic lambda calculus with context-free session types
- Global types with internal delegation
- A coordination protocol language for power grid operation control
- Reversible sessions with flexible choices
- Fair refinement for asynchronous session types
- Stateful Behavioral Types for Active Objects
- Precise subtyping for synchronous multiparty sessions
- Towards refinable choreographies
- Interval probability for sessions types
- On global types and multi-party sessions
- Parameterised Multiparty Session Types
- Automated modular verification for relaxed communication protocols
- An abstract framework for choreographic testing
- 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
- A session type system for asynchronous unreliable broadcast communication
- Certifying data in multiparty session types
- Certifying data in multiparty session types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Self-adaptation and secure information flow in multiparty communications
- Monitoring networks through multiparty session types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- Global types and event structure semantics for asynchronous multiparty sessions
- Security protocols as choreographies
- A type checking algorithm for concurrent object protocols
- Session types without sophistry. System description
- Global progress for dynamically interleaved multiparty sessions
- On asynchronous eventful session semantics
- Declarative choreographies and liveness
- Multiparty half-duplex systems and synchronous communications
- Partially Typed Multiparty Sessions
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Fair asynchronous session subtyping
- Multiparty session types, beyond duality
- Mixed sessions
- Realisability of pomsets
- Mixed sessions
- A gentle introduction to multiparty asynchronous session types
- Composition and decomposition of multiparty sessions
- Partially typed multiparty sessions with internal delegation
- Towards generalised half-duplex systems
- Precise Subtyping for Asynchronous Multiparty Sessions
- Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
- scientific article; zbMATH DE number 7454918 (Why is no real title available?)
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- Typechecking safe process synchronization
- Multiparty asynchronous session types
- From infinity to choreographies. Extraction for unbounded systems
- A core model for choreographic programming
- A type language for distributed reactive components governed by communication protocols
- scientific article; zbMATH DE number 7454921 (Why is no real title available?)
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Event structure semantics for multiparty sessions
- Deconfined Global Types for Asynchronous Sessions
- MAG\(\pi\): types for failure-prone communication
- Resource sharing via capability-based multiparty session types
- A reduction semantics for direct-style asynchronous observables
- Branching Pomsets for Choreographies
- Applied Choreographies
- Mixed choice in session types
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
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)
