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 games; update networks

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

91A43: Games involving graphs

03D05: Automata and formal grammars in connection with logical questions

68Q60: Specification and verification (program logics, model checking, etc.)