Intensional and extensional semantics of dataflow programs

DOI10.1007/S00165-003-0018-1zbMATH Open1093.68600OpenAlexW2092501632MaRDI QIDQ706490FDOQ706490

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

Recommendations

• Publication:4723281
• scientific article; zbMATH DE number 554489
• scientific article; zbMATH DE number 5666832
• scientific article; zbMATH DE number 4084982
• scientific article; zbMATH DE number 554485

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Integrating Lucid's declarative dataflow paradigm into object-orientation
• Execution termination and computation determinacy of data-flow program nets
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Semantics of multiway dataflow constraint systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monoidal streams for dataflow programming
• The expressive power of indeterminate dataflow primitives
• Title not available (Why is that?)

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)