Loading...
Please wait, while we are loading the content...
Similar Documents
Ordinal Theory for Expressiveness of Well Structured Transition Systems
| Content Provider | CiteSeerX |
|---|---|
| Author | Finkel, Alain Bonnet, Remi Rosa-Velardo, O. Haddad, Serge |
| Abstract | Abstract. 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. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Nonmonotonic Order Embeddings Coverability Language Open Problem Wsts Classification Ordinal Theory Order Type Order Reflection Usual Class Well Structured Transition System |
| Content Type | Text |
| Resource Type | Article |
