scientific article; zbMATH DE number 6790161

DOI10.23638/LMCS-13(3:24)2017zbMath1459.68138arXiv1608.02636MaRDI QIDQ5367063

Pierre McKenzie, Michael Blondin, Alain Finkel

Publication date: 12 October 2017

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

antichaindecidabilitywell-quasi-orderingcoverabilitywell-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)

Related Items (7)

Branch-well-structured transition systems and extensions ⋮ Unnamed Item ⋮ The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings ⋮ On decidability and complexity of low-dimensional robot games ⋮ Unnamed Item ⋮ Commodification of accelerations for the Karp and Miller construction ⋮ Unnamed Item

This page was built for publication: