Denvir, B.T, Ed.
Analysis of concurrent systems, Cambridge, September 1983 - Berlin Springer-Verlag - Lecture notes in computer science ; 00207 .
681 LNCS
Analysis of concurrent systems, Cambridge, September 1983 - Berlin Springer-Verlag - Lecture notes in computer science ; 00207 .
681 LNCS