Synchronization of concurrent processes without globality assumptions - Lauer, Peter E. (1981)