Deriving Labelled Transition Systems - A Structural Approach.

Julian Rathke Pawel Sobocinski

Published in: Bull. EATCS (2009)

Keyphrases

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