Non-Deterministic Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt

Browse the full CONCUR paper archive.