A. Balasubramanian, и K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), том 203 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
DOI: 10.4230/LIPIcs.CONCUR.2021.17