GAMES AND WINNING STRATEGIES

Authors
BACK RJR VONWRIGHT J
Citation
Rjr. Back et J. Vonwright, GAMES AND WINNING STRATEGIES, Information processing letters, 53(3), 1995, pp. 165-172
Citations number
10
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
53
Issue
3
Year of publication
1995
Pages
165 - 172
Database
ISI
SICI code
0020-0190(1995)53:3<165:GAWS>2.0.ZU;2-Z
Abstract
Two-person games are modeled as specifications in a language with ange lic and demonic nondeterminism, and methods of program verification an d transformation are used to reason about games. That a given strategy is winning can be proved using a variant of the traditional loop corr ectness rule. Furthermore, an implementation of the winning strategy c an be derived using equivalence transformations.