On asynchronous eventful session semantics

DOI10.1017/S096012951400019XzbMath1361.68170MaRDI QIDQ5741564

Dimitrios Kouzapas, Kohei Honda, Nobuko Yoshida, Raymond Hu

Publication date: 28 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Characteristic bisimulation for higher-order session processes ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Event-based run-time adaptation in communication-centric systems ⋮ Extracting total Amb programs from proofs ⋮ Unnamed Item ⋮ On the relative expressiveness of higher-order session processes ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

Cites Work

• Unnamed Item
• Conversation types
• A calculus of communicating systems
• A calculus of mobile processes. I
• On reduction-based process semantics
• Comparing three semantics for Linda-like languages
• Linear Logical Relations for Session-Based Concurrency
• Contracts for Mobile Processes
• A Distributed Pi-Calculus
• On the Asynchronous Nature of the Asynchronous π-Calculus
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Session Types as Intuitionistic Linear Propositions
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• On confluence in the π-calculus
• Dynamic typing in polymorphic languages
• Linear type theory for asynchronous session types
• Asynchronous Session Types and Progress for Object Oriented Languages

This page was built for publication: On asynchronous eventful session semantics