Refinement of time

DOI10.1016/S0304-3975(00)00087-6MaRDI QIDQ1589580zbMATH OpenFDO

Authors R. Smith

Publication date 12 December 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

real timereactive systemsrefinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Subtleties of the clock retardation
• Time flow
• scientific article; zbMATH DE number 1749139

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3763282 (Why is no real title available?)
• A calculus of durations
• A proof of the Kahn principle for input/output automata
• A theory of timed automata
• Action transducers and timed automata
• Forward and backward simulations. II: Timing-based systems
• Higher Order Logic and Hardware Verification
• Real time process algebra
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• The algorithmic analysis of hybrid systems
• The expressive power of indeterminate dataflow primitives
• Toward a discipline of real-time programming

Cited in

(7)

• The fixed-point theory of strictly causal functions
• CPO semantics of timed interactive actor networks
• A refinement relation for families of timed automata
• Modelling temporal behaviour in complex systems with Timebands
• The earlier the better: a theory of timed actor interfaces
• Accepting zeno words: A way toward timed refinements
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Refinement of time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1589580)