Author:
HILDEBRANDT THOMAS T.,PANANGADEN PRAKASH,WINSKEL GLYNN
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The refinement calculus of reactive systems;Information and Computation;2021-11
2. A Complete Language for Faceted Dataflow Programs;Electronic Proceedings in Theoretical Computer Science;2020-09-15
3. A computational model for TensorFlow: an introduction;Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages;2017-06-18
4. Timely Dataflow: A Model;Formal Techniques for Distributed Objects, Components, and Systems;2015
5. Kahn Process Networks and a Reactive Extension;Handbook of Signal Processing Systems;2013