From algebra transformation to labelled transition systems.

Martin Große-Rhode

Published in: WADT (1997)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
data model
query language
object oriented
distributed systems
markov chain
domain independent
model checker