Manfred Broy. Formalization of Distributed, Concurrent, Reactive Systems. In Erich J. Neuhold, Manfred Paul 0001, editors, Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, pages 319-262, Springer, 1989.
Abstract is missing.