Semantics of query-driven communication of exact values

MaRDI QIDQ3075217zbMATH OpenFDO

Authors Michal Konečný, Amin Farjudian

Publication date 10 February 2011

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

zbMATH Keywords

dataflow networksdenotational semanticsdistributed computationdomain theoryexact real computation

Mathematics Subject Classification ID

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

Recommendations

• Compositional semantics of dataflow networks with query-driven communication of exact values
• A theory of communicating processes with value passing
• Mobile values, new names, and secure communication
• Interactive Communication of Balanced Distributions and of Correlated Files
• scientific article; zbMATH DE number 177815

Cited in

(3)

• Compositional semantics of dataflow networks with query-driven communication of exact values
• On the Kolmogorov complexity of continuous real functions
• A domain-theoretic framework for robustness analysis of neural networks

This page was built for publication: Semantics of 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 Q3075217)