Refinement of time

DOI10.1016/S0304-3975(00)00087-6zbMATH Open0954.68097MaRDI QIDQ1589580FDOQ1589580

Authors: R. Smith 

Publication date: 12 December 2000

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

Recommendations

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

zbMATH Keywords

real timereactive systemsrefinement

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• CPO semantics of timed interactive actor networks
• Accepting zeno words: A way toward timed refinements
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• The fixed-point theory of strictly causal functions

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)