Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Furia, Carlo A. (Συγγραφέας), Mandrioli, Dino (Συγγραφέας), Morzenti, Angelo (Συγγραφέας), Rossi, Matteo (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:Monographs in Theoretical Computer Science. An EATCS Series,
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Chap. 1 It's About Time
  • Chap. 2 Languages and Interpretations
  • Chap. 3 Dimensions of the Time Modeling Problem
  • Chap. 4 Dynamical Systems
  • Chap. 5 Time in Hardware Modeling and Design
  • Chap. 6 Time in the Analysis of Algorithms
  • Chap. 7 Synchronous Abstract Machines
  • Chap. 8 Asynchronous Abstract Machines: Petri Nets
  • Chap. 9 Logic-Based Formalisms
  • Chap. 10 Algebraic Formalisms
  • Chap. 11 Dual-Language Approaches
  • Chap. 12 Time Is up
  • References
  • Index.