You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
528 pages • missing pub info (view editions)
ISBN/UID: 9780471623731
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables...
Community Reviews
Content Warnings
528 pages • missing pub info (view editions)
ISBN/UID: 9780471623731
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables...
Community Reviews
Content Warnings