A Relational Notation for State Transition Systems.

Simon S. Lam A. Udaya Shankar

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

transition systems
concurrent systems
temporal logic
model checking
finite state
search algorithm
state space
control flow
petri net