Non-Deterministic Abstract Machines.

Malgorzata Biernacka Dariusz Biernacki Sergueï Lenglet Alan Schmitt

Published in: CONCUR (2022)

Keyphrases

higher level
turing machine
high level
black box
case study
database
digital libraries
low level