The buck stops here: order, chance, and coordination in distributed control

DOI10.1007/978-3-642-24372-1_31zbMATH Open1348.68165OpenAlexW78994137MaRDI QIDQ3172930FDOQ3172930

Authors: Gal Katz, Doron Peled, Sven Schewe 

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_31

Recommendations

• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Predicate control: synchronization in distributed computations with look-ahead.
• scientific article; zbMATH DE number 47016
• Common knowledge and consistent simultaneous coordination

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Common randomness and distributed control: A counterexample
• Organization of the choice of static priorities in decentralized-control systems. I
• Organization of the choice of static priorities in systems with decentralized control. II

This page was built for publication: The buck stops here: order, chance, and coordination in distributed control

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