J. Esparza, и F. Reiter. 31st International Conference on Concurrency Theory (CONCUR 2020), том 171 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2007.03291">Link</a><br>#conference.