Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111) - Deussen, Peter; Olderog, Ernst-Rudiger; Broy, M., 1949-