Modeling Time in Computing

• Main Authors: Furia, Carlo A. (Author), Mandrioli, Dino (Author), Morzenti, Angelo (Author), Rossi, Matteo (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Monographs in Theoretical Computer Science. An EATCS Series,
• Subjects: Computer science.; Computer hardware.; Computers.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Computer Hardware.; Mathematics of Computing.; Computing Methodologies.

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