Specifying Computations Using Hyper Transition Systems.

Marcello M. Bonsangue Joost N. Kok

Published in: MFCS (1997)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
distributed systems
test set
domain independent