Monographs in Theoretical Computer Science. An EATCS Series

Process Algebra with Timing

Authors: Baeten, J.C.M., Middelburg, C.A.

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-662-04995-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 100,83 €
price for Spain (gross)
  • ISBN 978-3-540-43447-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 100,83 €
price for Spain (gross)
  • ISBN 978-3-642-07788-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

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.

Reviews

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)


Table of contents (7 chapters)

  • No Timing

    Baeten, J. C. M. (et al.)

    Pages 1-30

    Preview Buy Chapter 30,19 €
  • Discrete Relative Timing

    Baeten, J. C. M. (et al.)

    Pages 31-70

    Preview Buy Chapter 30,19 €
  • Discrete Absolute Timing

    Baeten, J. C. M. (et al.)

    Pages 71-122

    Preview Buy Chapter 30,19 €
  • Continuous Relative Timing

    Baeten, J. C. M. (et al.)

    Pages 123-157

    Preview Buy Chapter 30,19 €
  • Continuous Absolute Timing

    Baeten, J. C. M. (et al.)

    Pages 159-204

    Preview Buy Chapter 30,19 €

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-662-04995-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 100,83 €
price for Spain (gross)
  • ISBN 978-3-540-43447-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 100,83 €
price for Spain (gross)
  • ISBN 978-3-642-07788-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Process Algebra with Timing
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-04995-2
DOI
10.1007/978-3-662-04995-2
Hardcover ISBN
978-3-540-43447-4
Softcover ISBN
978-3-642-07788-3
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XIX, 287
Topics