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.
N. Bertrand, I. Konnov, M. Lazic, and J. Widder. CONCUR, volume 140 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.
I. Berkovits, M. Lazic, G. Losa, O. Padon, and S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, page 245--266. Springer, (2019)#conference.