Eike Best
-
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices