Corradi, A.; Leonardi, L. "The Specification of Concurrency: An Object-based Approach", IEEE Phoenix Conference on Computers and Communications, Scottsdale (AZ), March 1988

Languages mentioned

• PO {2000} Concurrent OO Language