2006): A New Type System for Deadlock-Free Processes (0)

by Naoki Kobayashi
Venue:In: CONCUR’06, LNCS 4137