scientific article; zbMATH DE number 7269246

MaRDI QIDQ5129942

Hernán Melgratti, Laura Bocchi, Emilio Tuosto

Publication date: 3 November 2020

Full work available at URL: https://arxiv.org/abs/1904.08337

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebrasnon-determinismmessage-passingchoreographymultiparty session typeswhole-spectrum implementation

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

An abstract framework for choreographic testing ⋮ Composition and decomposition of multiparty sessions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-adaptation and secure information flow in multiparty communications
• A generic type system for the pi-calculus
• Subtyping for session types in the pi calculus
• Type-based information flow analysis for the \(\pi\)-calculus
• From Communicating Machines to Graphical 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
• Deadlock-freedom-by-design
• Discretionary Information Flow Control for Interaction-Oriented Specifications
• Information flow safety in multiparty sessions
• Contracts for Mobile Processes
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Conversation Types
• A theory of contracts for strong service compliance
• Resolving Non-determinism in Choreographies
• Global progress for dynamically interleaved multiparty sessions
• Fair subtyping for multi-party session types
• A New Type System for Deadlock-Free Processes

This page was built for publication: