McNaughton Games and Extracting Strategies for Concurrent Programs


Nerode et al. [ 131 showed that a correct concurrent program can be viewed as a winning strategy in a suitably defined two player game played between the Programmer and the Computer in which the program specification is defined by the rules of the game together with the winning condition. This gives rise to the question as to whether there are useful… (More)
DOI: 10.1016/0168-0072(95)00032-1


2 Figures and Tables

Slides referencing similar topics