Type Systems for Concurrent Processes: From Deadlock-Freedom to LivelockFreedom, Time-Boundedness (2000)

by Naoki Kobayashi
Venue:In IFIP TCS’00, volume 1872 of LNCS