Modeling Time in Computing

Authors:

ISBN: 978-3-642-32331-7 (Print) 978-3-642-32332-4 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xvi

  2. No Access

    Book Chapter

    Pages 1-7

    It’s About Time

  3. No Access

    Book Chapter

    Pages 9-26

    Languages and Interpretations

  4. No Access

    Book Chapter

    Pages 27-57

    Dimensions of the Time Modeling Problem

  5. Historical Approaches

    1. Front Matter

      Pages 59-59

    2. No Access

      Book Chapter

      Pages 61-79

      Dynamical Systems

    3. No Access

      Book Chapter

      Pages 81-102

      Time in Hardware Modeling and Design

    4. No Access

      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. No Access

      Book Chapter

      Pages 153-207

      Synchronous Abstract Machines

    3. No Access

      Book Chapter

      Pages 209-247

      Asynchronous Abstract Machines: Petri Nets

    4. No Access

      Book Chapter

      Pages 249-323

      Logic-Based Formalisms

    5. No Access

      Book Chapter

      Pages 325-363

      Algebraic Formalisms

    6. No Access

      Book Chapter

      Pages 365-407

      Dual-Language Approaches

    7. No Access

      Book Chapter

      Pages 409-414

      Time Is Up

  7. Back Matter

    Pages 415-423