scientific article; zbMATH DE number 4126677
From MaRDI portal
Publication:4206381
zbMath0687.68005MaRDI QIDQ4206381
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (2)
McNaughton games and extracting strategies for concurrent programs ⋮ Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies
This page was built for publication:
