scientific article; zbMATH DE number 6790161

DOI10.23638/LMCS-13(3:24)2017MaRDI QIDQ5367063zbMATH OpenFDO

Authors Michael Blondin, Pierre McKenzie, Alain Finkel

Publication date 12 October 2017

Full work available at URL https://arxiv.org/abs/1608.02636

zbMATH Keywords

antichaincoverabilitydecidabilitywell-quasi-orderingwell-structured transition systems (WSTS)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5068370
• scientific article; zbMATH DE number 1759636
• Well (and better) quasi-ordered transition systems
• Well structured transition systems with history
• Regular separability of well-structured transition systems
• Unfolding Concurrent Well-Structured Transition Systems
• Ideal abstractions for well-structured transition systems
• Logic of transition systems
• A classification of the expressive power of well-structured transition systems
• scientific article; zbMATH DE number 1292294

Cited in

(22)

• Handling infinitely branching well-structured transition systems
• Ordinal theory for expressiveness of well-structured transition systems
• On decidability and complexity of low-dimensional robot games
• Commodification of accelerations for the Karp and Miller construction
• Branch-well-structured transition systems and extensions
• The power of well-structured systems
• Local entailment test in the reachability problem for well-structured transition systems
• Ordinal theory for expressiveness of well structured transition systems
• Well (and better) quasi-ordered transition systems
• The ideal approach to computing closed subsets in well-quasi-orderings
• Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
• scientific article; zbMATH DE number 4030997 (Why is no real title available?)
• Regular separability of well-structured transition systems
• Forward analysis for WSTS. III: Karp-Miller trees
• Forward analysis for WSTS. III: Karp-Miller trees
• Handling infinitely branching WSTS
• scientific article; zbMATH DE number 5068370 (Why is no real title available?)
• Transition systems without transitions
• Well-structured transition systems everywhere!
• Branch-well-structured transition systems and extensions
• On the ABK conjecture, alpha-well quasi orders and Dress-Schiffels product
• Directed regular and context-free languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5367063)