DMCA

A new type system for deadlock-free processes (2006)

by Naoki Kobayashi
Venue:In CONCUR’06, volume 4137 of LNCS
Citations:60 - 4 self