Peter E. Lauer. Synchronization of concurrent processes without globality assumptions. SIGPLAN Notices, 16(9):66-80, 1981. [doi]
@article{Lauer81-0, title = {Synchronization of concurrent processes without globality assumptions}, author = {Peter E. Lauer}, year = {1981}, doi = {10.1145/954312.954317}, url = {https://doi.org/10.1145/954312.954317}, researchr = {https://researchr.org/publication/Lauer81-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {16}, number = {9}, pages = {66-80}, }