A calculus for concurrent objects (1996)

by Paolo Di Blasio, Kathleen Fisher
Venue:In International Conference on Concurrency Theory