skip to content
Modeling time in computing Preview this item
ClosePreview this item

Modeling time in computing

Author: Carlo A Furia
Publisher: Heidelberg ; New York : Springer, ©2012.
Series: Monographs in theoretical computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
'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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Carlo A Furia
ISBN: 9783642323317 3642323316
OCLC Number: 828868848
Description: xvi, 423 pages : illustrations ; 24 cm.
Contents: Chap. 1 It's About Time.- Chap. 2 Languages and Interpretations.- Chap. 3 Dimensions of the Time Modeling Problem.- Chap. 4 Dynamical Systems.- Chap. 5 Time in Hardware Modeling and Design.- Chap. 6 Time in the Analysis of Algorithms.- Chap. 7 Synchronous Abstract Machines.- Chap. 8 Asynchronous Abstract Machines: Petri Nets.- Chap. 9 Logic-Based Formalisms.- Chap. 10 Algebraic Formalisms.- Chap. 11 Dual-Language Approaches.- Chap. 12 Time Is up.- References.- Index.
Series Title: Monographs in theoretical computer science.
Responsibility: Carlo A. Furia [and others].

Abstract:

This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "All aspects of modeling time in computing are presented in this book, but that's not all it offers. Each of the chapters can be read as an independent text, allowing a very Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/828868848> # Modeling time in computing
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "828868848" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1182123699#Place/heidelberg> ; # Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/prozessalgebra> ; # Prozessalgebra
   schema:about <http://dewey.info/class/003/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/zeitbewertetes_petri_netz> ; # Zeitbewertetes Petri-Netz
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/discrete_time_systems_computer_simulation> ; # Discrete-time systems--Computer simulation
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/dynamisches_system> ; # Dynamisches System
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/temporale_logik> ; # Temporale Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/endlicher_automat> ; # Endlicher Automat
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/transitionssystem> ; # Transitionssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/hardwareentwurf> ; # Hardwareentwurf
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/modellierung> ; # Modellierung
   schema:about <http://id.worldcat.org/fast/894974> ; # Discrete-time systems--Computer simulation
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/zeitbehafteter_automat> ; # Zeitbehafteter Automat
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/zeit> ; # Zeit
   schema:about <http://experiment.worldcat.org/entity/work/data/1182123699#Topic/formalismus> ; # Formalismus
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/250950186> ; # Carlo A. Furia
   schema:copyrightYear "2012" ;
   schema:datePublished "2012" ;
   schema: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. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.'--on backcover."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1182123699> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1431-2654> ; # Monographs in theoretical computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1182123699#Series/monographs_in_theoretical_computer_science_an_eatcs_series> ; # Monographs in theoretical computer science, an EATCS series
   schema:name "Modeling time in computing"@en ;
   schema:productID "828868848" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/828868848#PublicationEvent/heidelberg_new_york_springer_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1182123699#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783642323317> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/828868848> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123699#Series/monographs_in_theoretical_computer_science_an_eatcs_series> # Monographs in theoretical computer science, an EATCS series
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/828868848> ; # Modeling time in computing
   schema:name "Monographs in theoretical computer science, an EATCS series" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123699#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
   schema:name "Berechnungskomplexität"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123699#Topic/discrete_time_systems_computer_simulation> # Discrete-time systems--Computer simulation
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85038370> ;
   schema:name "Discrete-time systems--Computer simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123699#Topic/zeitbehafteter_automat> # Zeitbehafteter Automat
    a schema:Intangible ;
   schema:name "Zeitbehafteter Automat"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123699#Topic/zeitbewertetes_petri_netz> # Zeitbewertetes Petri-Netz
    a schema:Intangible ;
   schema:name "Zeitbewertetes Petri-Netz"@en ;
    .

<http://id.worldcat.org/fast/894974> # Discrete-time systems--Computer simulation
    a schema:Intangible ;
   schema:name "Discrete-time systems--Computer simulation"@en ;
    .

<http://viaf.org/viaf/250950186> # Carlo A. Furia
    a schema:Person ;
   schema:birthDate "1979" ;
   schema:familyName "Furia" ;
   schema:givenName "Carlo A." ;
   schema:name "Carlo A. Furia" ;
    .

<http://worldcat.org/isbn/9783642323317>
    a schema:ProductModel ;
   schema:isbn "3642323316" ;
   schema:isbn "9783642323317" ;
    .

<http://worldcat.org/issn/1431-2654> # Monographs in theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/828868848> ; # Modeling time in computing
   schema:issn "1431-2654" ;
   schema:name "Monographs in theoretical computer science." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.