Multiparty Asynchronous Session Types
From MaRDI portal
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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
(85)- Session types and subtyping for orchestrated interactions
- Multiparty session types, beyond duality
- On the boundary between decidability and undecidability of asynchronous session subtyping
- A type checking algorithm for concurrent object protocols
- Composition and decomposition of multiparty sessions
- A core model for choreographic programming
- Realisability of pomsets
- A coordination protocol language for power grid operation control
- Session types without sophistry. System description
- Mixed sessions
- Polymorphic lambda calculus with context-free session types
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Towards refinable choreographies
- Security protocols as choreographies
- Fair refinement for asynchronous session types
- An abstract framework for choreographic testing
- Global types with internal delegation
- Reversible sessions with flexible choices
- Input urgent semantics for asynchronous timed session types
- Certifying data in multiparty session types
- Undecidability of asynchronous session subtyping
- 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
- A type language for distributed reactive components governed by communication protocols
- A gentle introduction to multiparty asynchronous session types
- Typechecking safe process synchronization
- On global types and multi-party sessions
- Self-adaptation and secure information flow in multiparty communications
- Certifying data in multiparty session types
- Multiparty asynchronous session types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A theory of design-by-contract for distributed multiparty interactions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- scientific article; zbMATH DE number 7454918 (Why is no real title available?)
- An abstract framework for choreographic testing
- scientific article; zbMATH DE number 7454921 (Why is no real title available?)
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Mixed sessions
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- Monitoring networks through multiparty session types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- Global progress for dynamically interleaved multiparty sessions
- On asynchronous eventful session semantics
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- Applied Choreographies
- Deconfined Global Types for Asynchronous Sessions
- Precise Subtyping for Asynchronous Multiparty Sessions
- Parameterised Multiparty Session Types
- Interval probability for sessions types
- From infinity to choreographies. Extraction for unbounded systems
- Stateful Behavioral Types for Active Objects
- 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
- Automated modular verification for relaxed communication protocols
- Declarative choreographies and liveness
- Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
- Partially Typed Multiparty Sessions
- MAG\(\pi\): types for failure-prone communication
- Resource sharing via capability-based multiparty session types
- Mixed choice in session types
- Fair termination of multiparty sessions
- A session type system for asynchronous unreliable broadcast communication
- Global types and event structure semantics for asynchronous multiparty sessions
- Fair asynchronous session subtyping
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Partially typed multiparty sessions with internal delegation
- Towards generalised half-duplex systems
- On asynchronous multiparty session types for federated learning
- Safe composition of systems of communicating finite state machines
- Partial typing for asynchronous multiparty sessions
- EXPRESSing session types
- A sound and complete projection for global types
- Separation and encodability in mixed choice multiparty sessions
- Crash-stop failures in asynchronous multiparty session types
- Open compliance in multiparty sessions with partial typing
- Less is more revisited: association with global protocols and multiparty sessions
- Policies for fair exchanges of resources
- A sound and complete characterization of fair asynchronous session subtyping
- Formalising subject reduction and progress for multiparty session processes
- Formalising asynchronous session subtyping
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
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)
