Related Books
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: 155
Pages: 155
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism.
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: 422
Pages: 422
Type: BOOK - Published: 1982-03 - Publisher: Lecture Notes in Computer Science