Refinement of time

DOI10.1016/S0304-3975(00)00087-6zbMath0954.68097MaRDI QIDQ1589580

R. Smith

Publication date: 12 December 2000

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

zbMATH Keywords

refinementreal timereactive systems

Mathematics Subject Classification ID

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

Related Items (3)

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ CPO semantics of timed interactive actor networks ⋮ The fixed-point theory of strictly causal functions

Uses Software

• Esterel

Cites Work

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

This page was built for publication: Refinement of time