Modular causality in a synchronous stream language

DOI10.1007/3-540-45309-1_16MaRDI QIDQ2763676zbMATH OpenFDO

Authors Pascal Cuoq, Marc Pouzet

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280237

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1231624
• A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems
• Synchronous structures
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Causality in the semantics of Esterel (revisited)

Cited in

(1)

• scientific article; zbMATH DE number 1231624 (Why is no real title available?)

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: Modular causality in a synchronous stream language

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