Peter Ochsenschläger, Rainer Prinoth. Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. In Nina Gerner, Heinz-Gerd Hegering, Joachim Swoboda, editors, Kommunikation in Verteilten Systemen, ITG/GI-Fachtagung, München, 3.-5. März 1993. Informatik Aktuell, pages 456-470, Springer, 1993.
Abstract is missing.