Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt. Non-Deterministic Abstract Machines. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{BiernackaBLS22, title = {Non-Deterministic Abstract Machines}, author = {Malgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Alan Schmitt}, year = {2022}, doi = {10.4230/LIPIcs.CONCUR.2022.7}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.7}, researchr = {https://researchr.org/publication/BiernackaBLS22}, cites = {0}, citedby = {0}, booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland}, editor = {Bartek Klin and Slawomir Lasota 0001 and Anca Muscholl}, volume = {243}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, isbn = {978-3-95977-246-4}, }