Publication:4206380
From MaRDI portal
zbMath0687.68004MaRDI QIDQ4206380
Publication date: 1990
program specification; mutual exclusion; program verification; concurrent; programs; computational game; Gurevich-Harrington winning conditions; lockouts
91A05: 2-person games
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
Gurevich-Harrington's games defined by finite automata, McNaughton games and extracting strategies for concurrent programs