A logical theory of concurrent objects (1990)

by Jose Meseguer
Venue:In OOPSLA ECOOP '90 Conference Proceedings