Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Specification and Analysis of Concurrent Systems
1992, Island Press
in English
3642773389 9783642773389
|
zzzz
Libraries near you:
WorldCat
|
2
Specification and Analysis of Concurrent Systems: The COSY Approach
1992, Springer Berlin Heidelberg
electronic resource :
in English
3642773397 9783642773396
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 7, 2019
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
February 27, 2022 | Edited by ImportBot | import existing book |
October 10, 2020 | Edited by ImportBot | import existing book |
August 3, 2020 | Edited by ImportBot | import existing book |
July 7, 2019 | Created by MARC Bot | Imported from Internet Archive item record |