Strategy Logic

in Room Ain session CONCUR Test of Time Session (on, Wed, 15:00, 2 talks over 70 min)

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

Program CONCUR Program