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

Keyphrases

• Composite Process 33%
• Compositional Analysis 33%
• Compositional Semantics 100%
• Concrete Network 66%
• Continuous Function 33%
• Dataflow Process Networks 100%
• Denotational Semantics 66%
• Exact Computation 33%
• Finite Networks 33%
• Inactivity 33%
• Infinite Networks 33%
• Operational Semantics 33%
• Process Semantics 33%
• Prototype Implementation 33%
• Query Answering 33%
• Query-based 100%
• Real numbers 33%
• Receiving Process 33%
• Safe Approximation 33%
• Whole Network 33%

Computer Science

• Approximation (Algorithm) 100%
• Continuous Function 50%
• Data Type 50%
• Denotational Semantics 100%
• Fixed Points 50%
• Operational Semantics 50%
• Process Network 50%
• Real Number 50%
• Receiving Process 50%