Advertisement

Process Algebra with Timing

  • J. C. M. Baeten
  • C. A. Middelburg

Table of contents

  1. Front Matter
    Pages I-XIX
  2. J. C. M. Baeten, C. A. Middelburg
    Pages 1-30
  3. J. C. M. Baeten, C. A. Middelburg
    Pages 31-70
  4. J. C. M. Baeten, C. A. Middelburg
    Pages 71-122
  5. J. C. M. Baeten, C. A. Middelburg
    Pages 123-157
  6. J. C. M. Baeten, C. A. Middelburg
    Pages 159-204
  7. J. C. M. Baeten, C. A. Middelburg
    Pages 205-230
  8. J. C. M. Baeten, C. A. Middelburg
    Pages 231-240
  9. Back Matter
    Pages 241-290

About this book

Introduction

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.

Keywords

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

Authors and affiliations

  • J. C. M. Baeten
    • 1
  • C. A. Middelburg
    • 1
    • 2
  1. 1.Division of Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-04995-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-07788-3
  • Online ISBN 978-3-662-04995-2
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site