A calculus for concurrent objects (1996)

by P Di Blasio, K Fisher
Venue:Sassone (Eds.), CONCUR ’96, Concurrency Theory, 7th International Conference, in: Lecture Notes in Computer Science