Structured Transition Systems as Lax Coalgebras.

Andrea Corradini Martin Große-Rhode Reiko Heckel

Published in: CMCS (1998)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
knowledge base
case study
software engineering
domain specific
business process
heuristic search
formal methods
model checker