The Analysis of Concurrent Systems
Subtitle: Cambridge, September 12-16, 1983. Proceedings (Lecture Notes in Computer Science)
Contributors: B.T. Denvir (Editor); W.T. Harwood (Editor); M.I. Jackson (Editor); M.J. Wray (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 16, 1985
Language: eng
Format: Paperback
Number of pages: 412
ISBN-13: 9783540160472
Subjects: Parallel processing; Logic Design; Analysis; Computers / Logic Design; Systems; Computers - General Information; Congresses; Parallel processing (Computers