Ordinal Theory for Expressiveness of Well Structured Transition Systems.

Rémi Bonnet Alain Finkel Serge Haddad Fernando Rosa-Velardo

Published in: FoSSaCS (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning