Related Books

Specification and Analysis of Concurrent Systems
Language: en
Pages: 487
Authors: Ryszard Janicki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notat
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 432
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
The Object-Z Specification Language
Language: en
Pages: 155
Authors: Graeme Smith
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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.
Understanding Concurrent Systems
Language: en
Pages: 528
Authors: A.W. Roscoe
Categories: Computers
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
International Symposium on Programming
Language: en
Pages: 422
Authors: Mariangiola Dezani-Ciancaglini
Categories: Computers
Type: BOOK - Published: 1982-03 - Publisher: Lecture Notes in Computer Science

DOWNLOAD EBOOK