A logical theory of concurrent objects and its realization in the Maude language (1993)

by J Meseguer
Venue:Research Directions in Concurrent Object-Oriented Programming