Specification and Analysis of Concurrent Systems / Monographs in Theoretical Computer Science. An EATCS Series (PDF)
The COSY Approach
(Sprache: Englisch)
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...
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...
sofort als Download lieferbar
eBook (pdf)
96.29 €
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Specification and Analysis of Concurrent Systems / Monographs in Theoretical Computer Science. An EATCS Series (PDF)“
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.
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.
Bibliographische Angaben
- Autoren: Ryszard Janicki , Peter E. Lauer
- 2012, 1992, 480 Seiten, Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3642773370
- ISBN-13: 9783642773372
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 54 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Specification and Analysis of Concurrent Systems / Monographs in Theoretical Computer Science. An EATCS Series"
0 Gebrauchte Artikel zu „Specification and Analysis of Concurrent Systems / Monographs in Theoretical Computer Science. An EATCS Series“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification and Analysis of Concurrent Systems / Monographs in Theoretical Computer Science. An EATCS Series".
Kommentar verfassen