Ordinal Theory for Expressiveness of Well Structured Transition Systems.

Rmi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo

Browse the full FOSSACS paper archive.