Parallelisierungsmöglichkeiten formal spezifizierter Protokolle. - K. Wemheuer; Stefan Böhmer (Transputer-Anwender-Treffen, 1992)