scientific article; zbMATH DE number 7362727

zbMath1464.68195arXiv1408.5961MaRDI QIDQ4995363

No author found.

Publication date: 24 June 2021

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

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

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) 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)

Unnamed Item ⋮ Justifications and a reconstruction of parity game solving algorithms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quasipolynomial computation of nested fixpoints

This page was built for publication: