Resource-Passing Concurrent Programming (2001)

by K Ueda
Venue:In: Proc. Fourth International Symposium on Theoretical Aspects of Computer Software (TACS’01), LNCS 2215