Marco Bernardo 0001. Coherent Resolutions of Nondeterminism. In Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik, editors, Computer Performance Engineering - 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers. Volume 12039 of Lecture Notes in Computer Science, pages 16-32, Springer, 2019. [doi]
Abstract is missing.