@inproceedings{biernacka:hal-03772712, TITLE = {{Non-Deterministic Abstract Machines}}, AUTHOR = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-03772712}, BOOKTITLE = {{CONCUR 2022 - 33rd International Conference
 on Concurrency Theory}}, ADDRESS = {Varsovie, Poland}, PAGES = {1-24}, YEAR = {2022}, MONTH = Sep, DOI = {10.4230/LIPIcs.CONCUR.2022.7}, KEYWORDS = {Abstract machines ; non-determinism ; lambda-calculus ; process calculi}, PDF = {https://inria.hal.science/hal-03772712/file/LIPIcs-CONCUR-2022-7.pdf}, HAL_ID = {hal-03772712}, HAL_VERSION = {v1}, }