@misc{indiciaebf92c031c35b, title = {Distinguishing between Communicating Transactions}, author = {Vasileios Koutavas and Maciej Gazda and Matthew Hennessy}, year = {2018}, doi = {10.1016/j.ic.2017.12.001}, url = {https://arxiv.org/abs/1703.03256}, note = {Source identifier: 1703.03256} }