A Gentle Introduction to Multiparty Asynchronous Session Types
From MaRDI portal
Publication:2822666
DOI10.1007/978-3-319-18941-3_4zbMath1346.68034OpenAlexW835760671MaRDI QIDQ2822666
Mariangiola Dezani-Ciancaglini, Mario Coppo, Luca Padovani, Nobuko Yoshida
Publication date: 4 October 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10044/1/27022
Distributed systems (68M14) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Relating Process Languages for Security and Communication Correctness (Extended Abstract) ⋮ Certifying data in multiparty session types ⋮ Multiparty session types, beyond duality ⋮ Certifying Data in Multiparty Session Types ⋮ Fault-tolerant multiparty session types ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Unnamed Item ⋮ Composition and decomposition of multiparty sessions ⋮ Partial and complete processes in multiparty sessions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Typing access control and secure information flow in sessions
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Combining behavioural types with security analysis
- Timed runtime monitoring for multiparty conversations
- Data-driven adaptation for smart sessions
- Multiparty Session Nets
- From Communicating Machines to Graphical Choreographies
- Compositional Choreographies
- On Global Types and Multi-Party Session
- Multiparty Session Types Meet Communicating Automata
- Specifying Stateful Asynchronous Properties for Distributed Programs
- Synthesising Choreographies from Local Session Types
- Nested Protocols in Session Types
- Deadlock-freedom-by-design
- Secure Enforcement for Global Process Specifications
- Multiparty asynchronous session types
- Timed Multiparty Session Types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types for Access and Information Flow Control
- Buffered Communication Analysis in Distributed Multiparty Sessions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- On Communicating Finite-State Machines
- Deadlock and lock freedom in the linear π-calculus
- Secure distributed programming with value-dependent types
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Dynamic multirole session types
- Resolving Non-determinism in Choreographies
- Asynchronous Session Types and Progress for Object Oriented Languages
- Global progress for dynamically interleaved multiparty sessions
- On asynchronous eventful session semantics
- Fair subtyping for multi-party session types
- Structured Communication-Centred Programming for Web Services
- Globally Governed Session Semantics
- Parameterised Multiparty Session Types
This page was built for publication: A Gentle Introduction to Multiparty Asynchronous Session Types
