Bernd Halstenberg, Rüdiger Reischuk. Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen. In Johannes Buchmann 0001, Harald Ganzinger, Wolfgang J. Paul, editors, Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Volume 1 of Teubner-Texte zur Informatik, pages 169-183, Teubner / Springer, 1992. [doi]
Abstract is missing.