M. Blondin, J. Esparza, и S. Jaax. 30th International Conference on Concurrency Theory (CONCUR 2019), том 140 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 31:1--31:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2019)Preprint: <a href="https://arxiv.org/abs/1902.01668">Link</a><br>#conference.