Sciweavers

Share
FOSSACS
2011
Springer

Ordinal Theory for Expressiveness of Well Structured Transition Systems

8 years 4 months ago
Ordinal Theory for Expressiveness of Well Structured Transition Systems
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, for usual classes of wpos, the equivalence between the existence of order reflections (nonmonotonic order embeddings) and the simulations with respect to coverability languages. We show that the non-existence of order reflections can be proved by the computation of order types. This allows us to solve some open problems and to unify the existing proofs of the WSTS classification.
Rémi Bonnet, Alain Finkel, Serge Haddad, Fe
Added 28 Aug 2011
Updated 28 Aug 2011
Type Journal
Year 2011
Where FOSSACS
Authors Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Comments (0)
books