1995], "Concurrent Objects in a Process Calculus (0)

by BC Pierce
Venue:in Theory and Practice of Parallel Programming (TPPP