Elie Bursztein. Extending Anticipation Games with Location, Penalty and Timeline. In Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli, editors, Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Volume 5491 of Lecture Notes in Computer Science, pages 272-286, Springer, 2008. [doi]
Abstract is missing.