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)

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

• scientific article; zbMATH DE number 5728681 (Why is no real title available?)
• A Distributed Pi-Calculus
• A calculus of communicating systems
• A calculus of mobile processes. I
• 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
• Linear logical relations for session-based concurrency
• Linear type theory for asynchronous session types
• On confluence in the \(\pi\)-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)

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