Search Results


Related Books

Formal Specification of Concurrent Systems
Language: en
Pages:
Authors: California Institute of Technology. Computer Science Department
Categories:
Type: BOOK - Published: 1982 - Publisher:

DOWNLOAD EBOOK

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
Specification and Verification of Concurrent Systems
Language: en
Pages: 620
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University
Formal Specification and Verification of Concurrent Systems
Language: en
Pages: 214
Authors: Harpreet Singh Chadha
Categories:
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

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
Scroll to top