First-Past-the-Post Games

Roland Carl Backhouse. First-Past-the-Post Games. In Jeremy Gibbons, Pablo Nogueira, editors, Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Volume 7342 of Lecture Notes in Computer Science, pages 157-176, Springer, 2012. [doi]

Abstract

Abstract is missing.