Modeling time in computing.

DOI10.1007/978-3-642-32332-4zbMath1260.68004OpenAlexW2141552127MaRDI QIDQ714629

Carlo A. Furia, Matteo Rossi, Angelo Morzenti, Dino Mandrioli

Publication date: 11 October 2012

Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32332-4

zbMATH Keywords

dynamical systemsTuring machinesprocess algebraPetri netsmodel checkingtemporal logicfinite-state machineshardware modelingtime modelling problemtime models

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of dynamical systems (37N99) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (6)

Bounded variability of metric temporal logic ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ Manifest domains: analysis and description ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Loop invariants ⋮ A menagerie of timed automata

This page was built for publication: Modeling time in computing.