Title: Non-Deterministic Abstract Machines
Authors: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet,Alan Schmitt
Journal: 33rd International Conference on Concurrency Theory (CONCUR 2022)(tom: 33rd International Conference on Concurrency Theory (CONCUR 2022), strony: 7:1-7:24), Wydawca:Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication type: conference
DOI: 10.4230/LIPIcs.CONCUR.2022.7