Buffered Communication Analysis in Distributed Multiparty Sessions

DOI10.1007/978-3-642-15375-4_24zbMATH Open1287.68130OpenAlexW1930375285MaRDI QIDQ3584941FDOQ3584941

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Deriving session and union types for objects
• Inferring Channel Buffer Bounds Via Linear Programming
• Automated verification of automata communicating via FIFO and bag buffers
• Global progress for dynamically interleaved multiparty sessions
• A gentle introduction to multiparty asynchronous session types
• Global escape in multiparty sessions
• On the undecidability of asynchronous session subtyping

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)