Distributed event algebras

DOI10.1016/0022-0000(92)90011-7zbMath0756.68034OpenAlexW1999523344MaRDI QIDQ1191023

Andrew Klapper

Publication date: 27 September 1992

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(92)90011-7

zbMATH Keywords

distributed algorithmevent state algebrashierarchical proof of correctness

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Cites Work

• A Distributed Algorithm for Minimum-Weight Spanning Trees
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item