Intensional and extensional semantics of dataflow programs

DOI10.1007/S00165-003-0018-1MaRDI QIDQ706490zbMATH OpenOpenAlexFDO

Authors Rajagopal Nagarajan, Simon J. Gay

Publication date 8 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-003-0018-1

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(12)

• Integrating Lucid's declarative dataflow paradigm into object-orientation
• The expressive power of indeterminate dataflow primitives
• Semantics of multiway dataflow constraint systems
• Execution termination and computation determinacy of data-flow program nets
• scientific article; zbMATH DE number 3890700 (Why is no real title available?)
• scientific article; zbMATH DE number 5666832 (Why is no real title available?)
• scientific article; zbMATH DE number 5353383 (Why is no real title available?)
• scientific article; zbMATH DE number 17812 (Why is no real title available?)
• scientific article; zbMATH DE number 1305005 (Why is no real title available?)
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Monoidal streams for dataflow programming
• Coinductive streams in monoidal categories

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: Intensional and extensional semantics of dataflow programs

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