Modeling Time in Computing

Ebook Details


Carlo A. Furia

Year 2012
Pages 424
Publisher Springer
Language en
ISBN 9783642323317
File Size 5.09 MB
File Format PDF
Download Counter 986

Ebook Description

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 thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system.