Concurrent systems:semantics, specification, and synthesis
Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)
CONCURRENT PROGRAMMING
IBFI
SEMINAR REPORT
CONCURRENT PROGRAMMING
IBFI
SEMINAR REPORT