Duality for Logics of Transition Systems.

Marcello M. Bonsangue Alexander Kurz

Published in: FoSSaCS (2005)

Keyphrases

transition systems
temporal logic
modal logic
model checking
concurrent systems
control flow
finite state
practical reasoning
linear programming
data flow
reactive systems
model checker
software engineering
web services
formal specification
fully observable