Process Algebra with Timing - Brossura

Baeten, J.C.M. M.; Middelburg, C.A.

Brossura

ISBN 10: 3642077889 ISBN 13: 9783642077883

Casa editrice: Springer, 2010

Riassunto

The first book systematically dealing with the issue of timing in systems design and analysis.

Su questo libro

Recensione

From the reviews:

"This book gives a comprehensive overview of more than a decade of development of an algebraic theory of processes with time. ... Throughout the text small examples and exercises illustrate the theory. ... This book is well-suited as background material or even a starting point for researchers in this field. Due to its excellent readability and its abundance of exercises the book is even suited to be used in an advanced course." (J. F. Groote, Zentralblatt MATH, Vol. 1021, 2003)

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 3642077889
• ISBN 13: 9783642077883
• Rilegatura: Copertina flessibile
• Numero di pagine: 312
• Contatto del produttore: non disponibile
• Persona responsabile: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania