Zur Startseite gehen
0,00 €*
Cover: 9783540434474 | Process Algebra with Timing | C. A. Middelburg (u. a.) | Buch | xix
Dekorationsartikel gehören nicht zum Leistungsumfang.
Process Algebra with Timing
Buch von C. A. Middelburg (u. a.)
Sprache: Englisch

58,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
This book is concerned with a number of theories that can be used for describ­ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer­ based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com­ plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in­ teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing.
This book is concerned with a number of theories that can be used for describ­ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer­ based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com­ plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in­ teract on time as well adds considerably to the complexity. In developing such a system, it is important to be able to acquire a better understanding of the relevant issues at the conceptual level, to describe the system in a precise way at various levels of detail, and to analyze it on the basis of the descriptions. When the early algebraic theories about processes, such as ACP [16, 17, 20], CCS [49, 50] and CSP [27, 39], were developed for that purpose, the established opinion was still that timing is a concern that can more often than not be treated independently. It is therefore not surprising that timing is deliberately ignored in those theories. They have now all been extended to deal with timing.
Zusammenfassung
The first book systematically dealing with the issue of timing in systems design and analysis.
Inhaltsverzeichnis
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 312
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: xix
287 S.
31 s/w Illustr.
ISBN-13: 9783540434474
ISBN-10: 354043447X
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Middelburg, C. A.
Baeten, J. C. M.
Auflage: 2002
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 241 x 160 x 22 mm
Von/Mit: C. A. Middelburg (u. a.)
Erscheinungsdatum: 04.07.2002
Gewicht: 0,635 kg
preigu-id: 103369269
Zusammenfassung
The first book systematically dealing with the issue of timing in systems design and analysis.
Inhaltsverzeichnis
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.
Details
Erscheinungsjahr: 2002
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 312
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: xix
287 S.
31 s/w Illustr.
ISBN-13: 9783540434474
ISBN-10: 354043447X
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Middelburg, C. A.
Baeten, J. C. M.
Auflage: 2002
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 241 x 160 x 22 mm
Von/Mit: C. A. Middelburg (u. a.)
Erscheinungsdatum: 04.07.2002
Gewicht: 0,635 kg
preigu-id: 103369269
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783642311635 | Data Matching | Peter Christen | Buch | HC runder Rücken kaschiert
Data Matching
Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection
EAN: 9783642311635
Von/Mit: Peter Christen

157,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783834814616 | Einführung in die Zahlentheorie und Algebra | Jürgen Wolfart | Buch
Einführung in die Zahlentheorie und Algebra
EAN: 9783834814616
Sprache: Deutsch
Von/Mit: Jürgen Wolfart

32,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781107686014 | Causality, Probability, and Time | Samantha Kleinberg | Taschenbuch
Causality, Probability, and Time
EAN: 9781107686014
Sprache: Englisch
Von/Mit: Samantha Kleinberg

45,10 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030107123 | Introduction to Intelligent Surveillance | Wei Qi Yan | Buch | xiii
Introduction to Intelligent Surveillance
Surveillance Data Capture, Transmission, and Analytics
EAN: 9783030107123
Sprache: Englisch
Von/Mit: Wei Qi Yan

51,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783658311131 | Soziale Roboter | Oliver Bendel | Taschenbuch | Springer Gabler
Soziale Roboter
Technikwissenschaftliche, wirtschaftswissenschaftliche, philosophische, psychologische und soziologische Grundlagen
EAN: 9783658311131
Sprache: Deutsch
Von/Mit: Oliver Bendel

84,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030181161 | Applied Machine Learning | David Forsyth | Taschenbuch | Paperback
Applied Machine Learning
EAN: 9783030181161
Sprache: Englisch
Von/Mit: David Forsyth

75,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781484288344 | Reinforcement Learning for Finance | Samit Ahlawat | Taschenbuch
Reinforcement Learning for Finance
Solve Problems in Finance with CNN and RNN Using the TensorFlow Library
EAN: 9781484288344
Sprache: Englisch
Von/Mit: Samit Ahlawat

32,35 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783347819467 | Naturwissenschaftliche Erzählungen über das Freiberger Weltkulturerbe
Naturwissenschaftliche Erzählungen über das Freiberger Weltkulturerbe
Eine Reise in die Geschichte des Bergbaus, der Technik, der Naturwissenschaften und der Stadt Freiberg
EAN: 9783347819467
Sprache: Deutsch
Von/Mit: Matthias Schubert

14,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781484295281 | Exploring the Power of ChatGPT | Eric Sarrion | Taschenbuch | xi
Exploring the Power of ChatGPT
Applications, Techniques, and Implications
EAN: 9781484295281
Sprache: Englisch
Von/Mit: Eric Sarrion

44,85 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783111350967 | KI:Text | Diskurse über KI-Textgeneratoren | Gerhard Schreiber (u. a.)
KI:Text
Diskurse über KI-Textgeneratoren
EAN: 9783111350967
Sprache: Deutsch
Von/Mit: Gerhard Schreiber (u. a.)

79,95 €*

Lieferzeit 1-2 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...