Non-Deterministic Abstract Machines

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt. Non-Deterministic Abstract Machines. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Malgorzata Biernacka

This author has not been identified. Look up 'Malgorzata Biernacka' in Google

Dariusz Biernacki

This author has not been identified. Look up 'Dariusz Biernacki' in Google

Sergueï Lenglet

This author has not been identified. Look up 'Sergueï Lenglet' in Google

Alan Schmitt

This author has not been identified. Look up 'Alan Schmitt' in Google