Synchronization of Constrained Transition Systems.

Srecko Brlek Antoine Rauzy

Published in: PASCO (1994)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
finite state
practical reasoning
control flow
distributed systems
reactive systems
model checker