Reaching and Distinguishing States of Distributed Systems
Publication:5390603
DOI10.1137/090771296zbMath1209.68299OpenAlexW2054451861MaRDI QIDQ5390603
Publication date: 4 April 2011
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/16391
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Reaching and Distinguishing States of Distributed Systems