@misc{indiciae6ef68e389485, title = {Minimal Translations from Synchronous Communication to Synchronizing Locks}, author = {Manfred Schmidt-Schauß and David Sabel}, year = {2021}, doi = {10.4204/eptcs.339.7}, url = {https://arxiv.org/abs/2108.11226}, note = {Source identifier: 2108.11226} }