Distributed Analysis for Diagnosability in Concurrent Systems.

Hernán Ponce de León Gonzalo Bonigo Laura Brandán Briones

Published in: CoRR (2015)

Keyphrases

concurrent systems
distributed systems
cooperative
information systems
model checking
data sets
expert systems
query language
building blocks
petri net
service oriented
computing environments
quantitative analysis