Specification and Analysis of Concurrent Systems

Peter E. Lauer

ISBN 10: 3642773397 / ISBN 13: 9783642773396

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011, 2011

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.The COSY approach extends theconventional notions ofgrammar and automaton from formal language and automatatheory to collections of 'synchronized' grammars andautomata, permitting system specification and analysis of'true' concurrency without reduction to non-determinism.COSY theory is developed to a great level of detail andconstitutes the first uniform and self-containedpresentationof all results about COSY published in thepast, as well as including many new results.COSY theory is used to analyze a sufficient number oftypical problems involving concurrency, synchronization andscheduling, to allow the reader to apply the techniquespresented tosimilar problems.The COSY model is also related to many alternative models ofconcurrency, particularly Petri Nets, CommunicatingSequential Processes and the Calculus of CommunicatingSystems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Seller Inventory # 9783642773396

Bibliographic Details

• Title: Specification and Analysis of Concurrent Systems
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011
• Publication Date: 2011
• Language: English
• ISBN 10: 3642773397
• ISBN 13: 9783642773396
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 242W x 170H x 27D millimeters 242 millimeters width by 170 millimeters height by 27 millimeters depth
• Weight: 847 grams

About this title

Synopsis

The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.