Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)

• Other Authors: Deussen, Peter (Editor), Olderog, Ernst-Rudiger (Editor), Broy, M., 1949- (Editor)
• Format: Book
• Language: English
• Subjects: CONCURRENT PROGRAMMING; IBFI; SEMINAR REPORT