Modeling Time in Computing

Authors:

ISBN: 978-3-642-32331-7 (Print) 978-3-642-32332-4 (Online)
Download Book (9,769 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xvi

  2. Book Chapter

    Pages 1-7

    It’s About Time

  3. Book Chapter

    Pages 9-26

    Languages and Interpretations

  4. Book Chapter

    Pages 27-57

    Dimensions of the Time Modeling Problem

  5. Historical Approaches

    1. Front Matter

      Pages 59-59

    2. Book Chapter

      Pages 61-79

      Dynamical Systems

    3. Book Chapter

      Pages 81-102

      Time in Hardware Modeling and Design

    4. Book Chapter

      Pages 103-149

      Time in the Analysis of Algorithms

  6. Temporal Models in Modern Theory and Practice

    1. Front Matter

      Pages 151-152

    2. Book Chapter

      Pages 153-207

      Synchronous Abstract Machines

    3. Book Chapter

      Pages 209-247

      Asynchronous Abstract Machines: Petri Nets

    4. Book Chapter

      Pages 249-323

      Logic-Based Formalisms

    5. Book Chapter

      Pages 325-363

      Algebraic Formalisms

    6. Book Chapter

      Pages 365-407

      Dual-Language Approaches

    7. Book Chapter

      Pages 409-414

      Time Is Up

  7. Back Matter

    Pages 415-423