Non-deterministic abstract machines

DOI10.4230/LIPICS.CONCUR.2022.7MaRDI QIDQ6587112zbMATH OpenFDO

Authors Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Publication date 13 August 2024

zbMATH Keywords

lambda-calculusnon-determinismprocess calculiabstract machines

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Non-deterministic abstract machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587112)