J. Esparza, and F. Reiter. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 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.
É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.