Buffered Communication Analysis in Distributed Multiparty Sessions

DOI10.1007/978-3-642-15375-4_24MaRDI QIDQ3584941zbMATH OpenOpenAlexFDO

Authors Pierre-Malo Deniélou, Nobuko Yoshida

Publication date 31 August 2010

Published in CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15375-4_24

Mathematics Subject Classification ID

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

Recommendations

• Asymptotic Analysis for Buffer Behavior in Communication Systems
• ANALYSIS OF GOSSIPING ALGORITHMS WITH RESTRICTED BUFFERS
• scientific article; zbMATH DE number 3499620
• scientific article; zbMATH DE number 1726636
• On the complexity of buffer allocation in message passing systems
• scientific article; zbMATH DE number 7559107
• Buffered asynchronous communication mechanisms

Cited in

(8)

• Deriving session and union types for objects
• Global progress for dynamically interleaved multiparty sessions
• scientific article; zbMATH DE number 3499620 (Why is no real title available?)
• On the undecidability of asynchronous session subtyping
• Automated verification of automata communicating via FIFO and bag buffers
• Global escape in multiparty sessions
• Inferring Channel Buffer Bounds Via Linear Programming
• A gentle introduction to multiparty asynchronous session types

This page was built for publication: Buffered Communication Analysis in Distributed Multiparty Sessions

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