Distributing Finite Transition Systems Extended Abstract.

Paul Caspi Alain Girault

Published in: PARLE (1992)

Keyphrases

extended abstract
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
finite number
reactive systems
model checker
sufficient conditions