Related Books
Language: en
Pages: 528
Pages: 528
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 1998 - Publisher: Prentice Hall PTR
Since Professor Hoare's book Communicating Sequential Processes was first published, his notation has been extensively used for teaching and applying concurrenc
Language: en
Pages: 487
Pages: 487
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notat
Language: en
Pages: 432
Pages: 432
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Language: en
Pages: 640
Pages: 640
Type: BOOK - Published: 1993 - Publisher: Addison Wesley Publishing Company
A text intended as a modern replacement for a first course in operating systems modern in the sense that concurrency is a central focus throughout; distributed