K. Wemheuer, Stefan Böhmer. Parallelisierungsmöglichkeiten formal spezifizierter Protokolle. In Martin Baumann, Reinhard Grebe, editors, Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen TAT 92, Aachen, 22.-23. September 1992. Informatik Aktuell, pages 11-20, Springer, 1992.
Abstract is missing.