The following pages link to Synchronous Kahn networks (Q2817701):
Displayed 7 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Asynchronous stream processing with S-Net (Q2269910) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)