Peter M. W. Knijnenburg, Joost N. Kok. On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract). In Lothar Budach, editor, Fundamentals of Computation Theory, 8th International Symposium, FCT 91, Gosen, Germany, September 9-13, 1991, Proceedings. Volume 529 of Lecture Notes in Computer Science, pages 297-306, Springer, 1991.
Abstract is missing.