A Logical Theory of Concurrent Objects and its Realization in the Maude Language (1992)

by J Meseguer
Venue:Research Directions in Object-Based Concurrency