A New Type System for Deadlock-Free Processes

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

CONCUR 2006 Test-of-Time Award. Originally published as: Naoki Kobayashi, A New Type System for Deadlock-Free Processes, CONCUR 2006. DOI: 10.1007/11817949_16

Other talks in CONCUR Test of Time Session:

Strategy Logic

Overview Program CONCUR Program