Modeling time in computing.
type: Item
instance of: scholarly article
title: Modeling time in computing.
zbMATH Open document ID: 1260.68004
DOI: 10.1007/978-3-642-32332-4
author: Carlo A. Furia
author: Dino Mandrioli
author: Angelo Morzenti
author: Matteo Rossi
published in: Monographs in Theoretical Computer Science. An EATCS Series
publication date: 2012-10-11T00:00:00Z
review text: Different models including the notion of time are present in almost all sciences; however, the abstractions proposed in these sciences cannot be canonically applied in computer science. Therefore, there were many new ways of modelling time that were proposed in the computer science research, in the search for an adequate model. 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. It is organized in 12 chapters that are split into two parts. The first chapter is an introductory one that reviews the topics, structure and the goals of this book as well as its motivation. Chapter 2 provides basic notions regarding the formalism used by the authors. Chapter 3 establishes some essential issues that arise in modeling time, independent of the type of the system used to do it, making, hence, the first important steps towards the goals of the book. Chapters 4--6 form the first part of the book, which is a summary of models of time that were traditionally used in computer science and engineering: dynamical systems and control theory (Chapter 4), hardware design (Chapter 5), models of computation and complexity theory (Chapter 6). The authors point out that this part is supposed to provide the various readers a common background. The second part goes deeper into the topic and covers various advanced formalisms that deal with specific issues of time modeling. In the first three chapters of this part, three main and complementary families of such formalisms are presented. In Chapter 7 various models based on finite state machines are given, in Chapter 8 different types of Petri nets are discussed, while in Chapter 9 models extending mathematical logic are overviewed. The final two chapters of this part deal with process algebra and dual-languages approaches. Finally, Chapter 12 provides a series of concluding remarks and development directions. The book is wel…
reviewed by: Florin Manea
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68W40
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 37N99
zbMATH DE Number: 6092884
zbMATH Keywords: time modelling problem
zbMATH Keywords: time models
zbMATH Keywords: dynamical systems
zbMATH Keywords: hardware modeling
zbMATH Keywords: finite-state machines
zbMATH Keywords: Turing machines
zbMATH Keywords: Petri nets
zbMATH Keywords: temporal logic
zbMATH Keywords: process algebra
zbMATH Keywords: model checking
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-32332-4
OpenAlex ID: W2141552127
description: scientific article; zbMATH DE number 6092884