Strategy Logic

Nir Piterman

CONCUR 2007 Test-of-Time Award. Originally published as: Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman, Strategy Logic, CONCUR 2007. DOI: 10.1007/978-3-540-74407-8_5

Other talks in CONCUR Test of Time Session:

• A New Type System for Deadlock-Free Processes

 Overview  Program   CONCUR Program