Non-Deterministic Abstract Machines
Authors: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet,Alan Schmitt
Published in: 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