B.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray

The Analysis of Concurrent Systems - 1985 - Springer Berlin Heidelberg 1985 - Lecture Notes in Computer Science .

9783540397311


Computer Science