Clocks in dataflow languages

DOI10.1016/0304-3975(92)90326-BMaRDI QIDQ1185019zbMATH OpenOpenAlexFDO

Authors Paul Caspi

Publication date 28 June 1992

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

Full work available at URL https://doi.org/10.1016/0304-3975(92)90326-b

zbMATH Keywords

bounded memoryoperating systemsdataflow language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Abstraction of Clocks in Synchronous Data-Flow Systems
• scientific article; zbMATH DE number 860052
• Lucy-n: a n-Synchronous Extension of Lustre
• Real-time system = discrete system + clock variables
• Synchronous Kahn networks

Cites work

• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3997145 (Why is no real title available?)
• A Characterization of Machine Mappings
• A functional model for describing and reasoning about time behaviour of computing systems
• From regular expressions to deterministic automata
• On Relations Defined by Generalized Finite Automata
• Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable
• Transductions des langages de Chomsky

Cited in

(9)

• Abstraction of Clocks in Synchronous Data-Flow Systems
• Synchronous structures
• \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
• Dependent vector types for data structuring in multirate Faust
• Resource control for synchronous cooperative threads
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n

Describes a project that uses

Uses Software

• Lucid
• LUSTRE

This page was built for publication: Clocks in dataflow languages

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