Guessing the buffer bound for k-synchronizability

DOI10.1007/978-3-030-79121-6_9OpenAlexW3173280383MaRDI QIDQ2117668FDOQ2117668

Authors: Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes 

Publication date: 22 March 2022

Full work available at URL: https://arxiv.org/abs/2104.14408

zbMATH Keywords

synchronizabilityMSCcommunicating automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• On Communicating Finite-State Machines
• Verifying programs with unreliable channels
• On deciding synchronizability for asynchronously communicating systems
• Context-Bounded Analysis of Concurrent Queue Systems
• Decomposition of distributed programs into communication-closed layers
• A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
• Reduction
• Synchronizing the asynchronous
• Title not available (Why is that?)
• On the \(k\)-synchronizability of systems
• On the completeness of verifying message passing programs under bounded asynchrony

Cited In (1)

• Guessing the Buffer Bound for k-Synchronizability

This page was built for publication: Guessing the buffer bound for k-synchronizability

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