On asynchronous eventful session semantics

DOI10.1017/S096012951400019XzbMATH Open1361.68170MaRDI QIDQ5741564FDOQ5741564

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)

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (19)

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

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)