On asynchronous eventful session semantics

DOI10.1017/S096012951400019XMaRDI QIDQ5741564zbMATH OpenFDO

Authors Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda

Publication date 28 July 2016

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

Full work available at URL https://doi.org/10.1017/S096012951400019X

Mathematics Subject Classification ID

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

Recommendations

• Session-based concurrency, reactively
• A semantic deconstruction of session types
• Multiparty Asynchronous Session Types
• Session types revisited
• Multiparty asynchronous session types

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. I
• A Distributed Pi-Calculus
• Asynchronous Session Types and Progress for Object Oriented Languages
• Comparing three semantics for Linda-like languages
• Contracts for Mobile Processes
• Conversation types
• Dynamic typing in polymorphic languages
• Global Progress in Dynamically Interleaved Multiparty Sessions
• scientific article; zbMATH DE number 5728681 (Why is no real title available?)
• Linear logical relations for session-based concurrency
• Linear type theory for asynchronous session types
• On confluence in the -calculus
• On reduction-based process semantics
• On the Asynchronous Nature of the Asynchronous π-Calculus
• Session types as intuitionistic linear propositions
• Session-Based Communication Optimisation for Higher-Order Mobile Processes

Cited in

(19)

• An abstract machine for asynchronous programs with closures and priority queues
• On the relative expressiveness of higher-order session processes
• Input urgent semantics for asynchronous timed session types
• Characteristic bisimulation for higher-order session processes
• Reversibility in session-based concurrency: a fresh look
• Behavioural semantics for asynchronous components
• A reduction semantics for direct-style asynchronous observables
• Event structure semantics for multiparty sessions
• Analysis of asynchronous programs with event-based synchronization
• A gentle introduction to multiparty asynchronous session types
• Event-based run-time adaptation in communication-centric systems
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Session-based concurrency, reactively
• Asynchronous Session Types and Progress for Object Oriented Languages
• scientific article; zbMATH DE number 7327953 (Why is no real title available?)
• Globally Governed Session Semantics
• Extracting total Amb programs from proofs
• A session type system for asynchronous unreliable broadcast communication
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741564)