Continuous Absolute Timing

  • J. C. M. Baeten
  • C. A. Middelburg
Part of the Monographs in Theoretical Computer Science. An EATCS Series book series (EATCS)

Abstract

In the previous chapter, we introduced a version of ACP with relative timing and time measured on a continuous time scale. In this chapter, we will introduce a version of ACP with absolute timing and time measured on a continuous time scale. As in the version introduced in the previous chapter, the possibility that two or more actions are performed consecutively at the same point of time is not excluded.

Keywords

Eter Encapsulation Bedding 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

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

Personalised recommendations