A Coalgebraic presentation of structured transition systems.

Andrea Corradini Martin Große-Rhode Reiko Heckel

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

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
learning algorithm
model checker
multi agent
distributed systems
formal specification