Wolfram Schulte. Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 425, Springer, 2003. [doi]
Abstract is missing.