author = { Biernacka, Małgorzata AND Biernacki, Dariusz AND Lenglet, Sergueï AND Schmitt, Alan Małgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Alan Schmitt },

title = { Non-Deterministic Abstract Machines },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Abstract machines , non-determinism , lambda-calculus , process calculi },

year = {2022},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }