Transition systems without transitions.

Andrzej M. Borzyszkowski Philippe Darondeau

Published in: Theor. Comput. Sci. (2005)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
state transitions
model checker
petri net
description language
distributed systems
formal verification