The ideal theory for WSTS

DOI10.1007/978-3-319-45994-3_1MaRDI QIDQ1708652zbMATH OpenOpenAlexFDO

Authors Alain Finkel

Publication date 26 March 2018

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

Mathematics Subject Classification ID

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

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; zbMATH DE number 4138108

Cited in

(3)

• The ideal approach to computing closed subsets in well-quasi-orderings
• Ideal abstractions for well-structured transition systems
• The Theory of WSTS: The Case of Complete WSTS

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)