The Buck Stops Here: Order, Chance, and Coordination in Distributed Control

DOI10.1007/978-3-642-24372-1_31zbMath1348.68165OpenAlexW78994137MaRDI QIDQ3172930

Gal Katz, Doron A. 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

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)

This page was built for publication: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control