Refinement of time
type: Item
instance of: scholarly article
title: Refinement of time
zbMATH Open document ID: 0954.68097
DOI: 10.1016/S0304-3975(00)00087-6
author: R. Smith
published in: Theoretical Computer Science
publication date: 2000-12-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1542352
zbMATH Keywords: real time
zbMATH Keywords: reactive systems
zbMATH Keywords: refinement
describes a project that uses: Esterel
MaRDI profile type: Publication
cites work: A theory of timed automata
cites work: The algorithmic analysis of hybrid systems
cites work: Real time process algebra
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Statecharts: a visual formalism for complex systems
cites work: Q3945578
cites work: A proof of the Kahn principle for input/output automata
cites work: Action transducers and timed automata
cites work: Forward and backward simulations. II: Timing-based systems
cites work: Higher Order Logic and Hardware Verification
cites work: Q3906397
cites work: Q3042377
cites work: The expressive power of indeterminate dataflow primitives
cites work: Toward a discipline of real-time programming
cites work: A calculus of durations
Recommended article: Subtleties of the clock retardation
Recommended article: Time flow
Recommended article: Q4530725
description: scientific article; zbMATH DE number 1542352