The following pages link to Elements of Stream Calculus (Q4917066):
Displaying 11 items.
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- A tutorial on coinductive stream calculus and signal flow graphs (Q2571208) (← links)
- Coinductive Counting (Q2842562) (← links)
- Induction, Coinduction, and Adjoints (Q2842818) (← links)
- Data Intensive Distributed Computing in Data Aware Self-organizing Networks (Q2889856) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- (Q2980965) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
