scientific article; zbMATH DE number 4126677

MaRDI QIDQ4206381zbMATH OpenFDO

Authors Vladimir Yakhnis

Publication date 1990

zbMATH Keywords

concurrent programGurevich-Harrington games

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) 2-person games (91A05)

Recommendations

• Publication:4206380
• Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies
• McNaughton games and extracting strategies for concurrent programs
• The winning ways of concurrent games
• scientific article; zbMATH DE number 65755

Cited in

(4)

• McNaughton games and extracting strategies for concurrent programs
• scientific article; zbMATH DE number 65755 (Why is no real title available?)
• scientific article; zbMATH DE number 4126676 (Why is no real title available?)
• 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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4206381)