M. W. Shields;Peter E. Lauer
-;-
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices