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 tim… Mehr…
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. Books > Computer Science eBook, Springer Shop<
Springer.com
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 tim… Mehr…
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. Books > Computer Science eBook, Springer Shop<
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Detailangaben zum Buch - Process Algebra with Timing
EAN (ISBN-13): 9783662049952 Erscheinungsjahr: 2013 Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-12-17T22:22:47+01:00 (Berlin) Detailseite zuletzt geändert am 2021-12-03T16:34:26+01:00 (Berlin) ISBN/EAN: 9783662049952
ISBN - alternative Schreibweisen: 978-3-662-04995-2 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: baeten
Daten vom Verlag:
Autor/in: J.C.M. Baeten Titel: Monographs in Theoretical Computer Science. An EATCS Series; Process Algebra with Timing Verlag: Springer; Springer Berlin 287 Seiten Erscheinungsjahr: 2013-03-09 Berlin; Heidelberg; DE Sprache: Englisch 55,00 € (DE)
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Absolute Timing; Computer; Continuous Time; Correct Design; Dependable Computing; Discrete Timing; Process Algebra; Reactive Systems; Relative Timing; System; complex system; complex systems; object oriented design; data structures; B; Theory of Computation; Software Engineering; Symbolic and Algebraic Manipulation; Data Science; Algebra; Computer Science; Software Engineering; Mathematik für Informatiker; Datenbanken; Algebra; BB
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.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: