{"product_id":"chaochen-zhou-duration-calculus-9783540408239","title":"Duration Calculus","description":"A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).","brand":"Springer","offers":[{"title":"Default Title","offer_id":54336252313942,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540408239_1.jpg?v=1791150269","url":"https:\/\/www.momoxbooks.com\/products\/chaochen-zhou-duration-calculus-9783540408239","provider":"momox","version":"1.0","type":"link"}