Metrics for Action-labelled Quantitative Transition Systems.

Yuxin Deng Tom Chothia Catuscia Palamidessi Jun Pang

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
case study
distributed systems
business processes
petri net
formal specification