An Axiomatics for Categories of Transition Systems as Coalgebras.

Peter T. Johnstone John Power Toru Tsujishita Hiroshi Watanabe James Worrell

Published in: LICS (1998)

Keyphrases

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