@misc{indiciaee1a317a29dd6, title = {Synchrony vs Causality in the Asynchronous Pi-Calculus}, author = {Kirstin Peters and Jens-Wolfhard Schicke and Uwe Nestmann}, year = {2011}, doi = {10.4204/eptcs.64.7}, url = {https://arxiv.org/abs/1108.4469}, note = {Source identifier: 1108.4469} }