@techreport{biernacka:hal-03545768, TITLE = {{Non-Deterministic Abstract Machines}}, AUTHOR = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Serguei and Schmitt, Alan}, URL = {https://inria.hal.science/hal-03545768}, TYPE = {Research Report}, NUMBER = {RR-9475}, PAGES = {1-33}, INSTITUTION = {{Inria}}, YEAR = {2022}, MONTH = Jul, KEYWORDS = {Abstract machines ; non-determinism ; process calculi ; $\lambda$-calcul ; calculs de processus ; machines abstraites}, PDF = {https://inria.hal.science/hal-03545768v2/file/RR-9475.pdf}, HAL_ID = {hal-03545768}, HAL_VERSION = {v2}, }