The ideal theory for WSTS

DOI10.1007/978-3-319-45994-3_1zbMATH Open1483.68229OpenAlexW2520594377MaRDI QIDQ1708652FDOQ1708652

Authors: Alain Finkel 

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-45994-3_1

Recommendations

• The Theory of WSTS: The Case of Complete WSTS
• Forward Analysis for WSTS, Part II: Complete WSTS
• Forward analysis for WSTS. II: Complete WSTS
• Forward analysis for WSTS, part I: completions
• Forward analysis for WSTS. I: Completions
• scientific article; zbMATH DE number 2036573
• scientific article; zbMATH DE number 679735
• A feasible theory for analysis
• Justification and refinement of Winkler-Fuss hypothesis
• scientific article

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Ideal abstractions for well-structured transition systems
• The Theory of WSTS: The Case of Complete WSTS
• The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings

This page was built for publication: The ideal theory for WSTS

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