Distribution of Modal Transition Systems.

German E. Sibay Sebastián Uchitel Víctor A. Braberman Jeff Kramer

Published in: FM (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
modal logic
formal specification
probability distribution
reactive systems
case study
distributed systems
data flow
model checker