Specification and Analysis of Concurrent Systems
The COSY Approach
Our rough guess is there are 120,000 words in this book.
At a pace averaging 250 words per minute, this book will take 8 hours and 0 minutes to read. With a half hour per day, this will take 16 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Lauer, Peter E. - Contributor
Publication
1992 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
120,000 words, Guess
Page Count
480 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivespecificationana00jani
- ISBN-103642773397
- ISBN-103642773370
- ISBN-139783642773396
- ISBN-139783642773372
and 4 more
- OCLC Control Number851828714
- Better World Books9783642773396
- Better World Books9783642773372
- Open LibraryOL27088644M
Classifications
- DDC004.0151
- LCCQA75.5-76.95
- LCCQA75.5-76.95QA76.9.L
Description
Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, permitting system specification and analysis of "true" concurrency without reduction to non-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentationof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number of typical problems involving concurrency, synchronization and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential Processes and the Calculus of Communicating Systems.
Subjects
Series Statement
- EATCS Monographs in Theoretical Computer Science
Other Editions
- Specification and Analysis of Concurrent Systems: The COSY Approach
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!