Update games and update networks

DOI10.1016/S1570-8667(03)00006-6zbMath1118.91306MaRDI QIDQ876693

Michael J. Dinneen, Bakhadyr Khoussainov

Publication date: 26 April 2007

Published in: Journal of Discrete Algorithms (Search for Journal in Brave)

zbMATH Keywords

infinite gamesupdate networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Games involving graphs (91A43) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Extracting Winning Strategies in Update Games

Cites Work

• On the complexity of some two-person perfect-information games
• Infinite games played on finite graphs
• McNaughton games and extracting strategies for concurrent programs
• Solving Sequential Conditions by Finite-State Strategies

This page was built for publication: Update games and update networks