Coverart for item
The Resource Duration calculus : a formal approach to real-time systems, Chaochen Zhou, Michael R. Hansen

Duration calculus : a formal approach to real-time systems, Chaochen Zhou, Michael R. Hansen

Label
Duration calculus : a formal approach to real-time systems
Title
Duration calculus
Title remainder
a formal approach to real-time systems
Statement of responsibility
Chaochen Zhou, Michael R. Hansen
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorDate
1937-
http://library.link/vocab/creatorName
Zhou, Chaochen
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Hansen, Michael R
Series statement
Monographs in theoretical computer science
http://library.link/vocab/subjectName
  • Real-time data processing
  • Formal methods (Computer science)
  • Mathematics
Label
Duration calculus : a formal approach to real-time systems, Chaochen Zhou, Michael R. Hansen
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • 1.
  • Introduction.
  • p. 1
  • 2.
  • Interval Logic.
  • p. 23
  • 3.
  • Duration Calculus.
  • p. 41
  • 4.
  • Deadline-Driven Scheduler.
  • p. 67
  • 5.
  • Relative Completeness.
  • p. 89
  • 6.
  • Decidability.
  • p. 99
  • 7.
  • Undecidability.
  • p. 111
  • 8.
  • Model Checking: Linear Duration Invariants.
  • p. 125
  • 9.
  • State Transitions and Events.
  • p. 145
  • 10.
  • Superdense State Transitions.
  • p. 165
  • 11.
  • Neighborhood Logic.
  • p. 189
  • 12.
  • Probabilistic Duration Calculus.
  • p. 209
  • References.
  • p. 227
  • Abbreviations.
  • p. 239
  • Symbol Index.
  • p. 241
  • Index.
  • p. 243
Control code
b93540408231
Dimensions
24 cm.
Extent
x, 247 p.
Isbn
9783540408239
Lccn
2003066406
Other physical details
ill.
Label
Duration calculus : a formal approach to real-time systems, Chaochen Zhou, Michael R. Hansen
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • 1.
  • Introduction.
  • p. 1
  • 2.
  • Interval Logic.
  • p. 23
  • 3.
  • Duration Calculus.
  • p. 41
  • 4.
  • Deadline-Driven Scheduler.
  • p. 67
  • 5.
  • Relative Completeness.
  • p. 89
  • 6.
  • Decidability.
  • p. 99
  • 7.
  • Undecidability.
  • p. 111
  • 8.
  • Model Checking: Linear Duration Invariants.
  • p. 125
  • 9.
  • State Transitions and Events.
  • p. 145
  • 10.
  • Superdense State Transitions.
  • p. 165
  • 11.
  • Neighborhood Logic.
  • p. 189
  • 12.
  • Probabilistic Duration Calculus.
  • p. 209
  • References.
  • p. 227
  • Abbreviations.
  • p. 239
  • Symbol Index.
  • p. 241
  • Index.
  • p. 243
Control code
b93540408231
Dimensions
24 cm.
Extent
x, 247 p.
Isbn
9783540408239
Lccn
2003066406
Other physical details
ill.

Library Locations

    • Brunswick Library StoreBorrow it
      Liverpool, GB
Processing Feedback ...