Ordinal theory for expressiveness of well-structured transition systems.

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

Published in: Inf. Comput. (2013)

Keyphrases

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