Compositional semantics of dataflow networks with query-driven communication of exact values

MaRDI QIDQ3075218zbMATH OpenFDO

Authors Michal Konečný, Amin Farjudian

Publication date 10 February 2011

Full work available at URL http://www.jucs.org/jucs_16_18/compositional_semantics_of_dataflow

zbMATH Keywords

dataflow networksdenotational semanticsdistributed computationdomain theoryexact real computation

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Theory of data (68P99) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics of query-driven communication of exact values
• scientific article; zbMATH DE number 5666832
• Compositional relational semantics for indeterminate dataflow networks
• scientific article; zbMATH DE number 1759408
• The algebra of stream processing functions

Cited in

(5)

• Semantics of query-driven communication of exact values
• On the Kolmogorov complexity of continuous real functions
• scientific article; zbMATH DE number 1305005 (Why is no real title available?)
• scientific article; zbMATH DE number 1759408 (Why is no real title available?)
• A domain-theoretic framework for robustness analysis of neural networks

Describes a project that uses

Uses Software

• Ptolemy

This page was built for publication: Compositional semantics of dataflow networks with query-driven communication of exact values

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