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...
| 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: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Evolvable Hardware
Published: (2006) -
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
by: Herdt, Vladimir
Published: (2016) -
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
Published: (2007) -
Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings /
Published: (2014) -
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /
Published: (2011)