Kahn Process Networks and a Reactive Extension - Signal Processing Systems - page 1060

7. Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. IEEE
Transactions on Signal Processing 49 (10), 2408-2421 (2001)
8. Bhattacharyya, S., Murthy, P., Lee, E.: Synthesis of embedded software from synchronous
dataflow specifications. J. VLSI Signal Process. Syst. 21 (2), 151-166 (1999)
9. Brock, J., Ackerman, W.: Scenarios: A model of non-determinate computation. In: J. Dıaz,
I. Ramos (eds.) Formalization of Programming Concepts, International Colloquium, Proceed-
ings, vol. LNCS 107, pp. 252-259. Peniscola, Spain (1981)
10. Brookes, S.: On the Kahn principle and fair networks. Tech. Rep. CMU-CS-98-156, School of
Computer Science, Carnegie Mellon University (1998)
11. Broy, M., Dendorfer, C.: Modelling operating system structures by timed stream processing
functions. Journal of Functional Programming 2 (1), 1-21 (1992). URL citeseer.nj.nec.com/
broy92modelling.html
12. Buck, J.: Scheduling dynamic dataflow graphs with bounded memory using the token flow
model. Ph.D. thesis, University of California, EECS Dept., Berkeley, CA (1993)
13. Carloni, L.P., Sangiovanni-Vincentelli, A.L.: A framework for modeling the distributed
deployment of synchronous designs. Form. Methods Syst. Des 28 , 93-110 (2006)
14. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press,
Cambridge, UK (1990)
15. Dulloo, J., Marquet, P.: Design of a real-time scheduler for Kahn Process Networks on
multiprocessor systems. In: Proceedings of the International Conference on Parallel and
Distributed Processing Techniques and Applications, PDPTA, pp. 271-277 (2004)
16. Eker, J., Janneck, J., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Sachs, S., Xiong, Y.: Taming
heterogeneity - the ptolemy approach. Proceedings of the IEEE 91 (1), 127-144 (2003). URL
http://chess.eecs.berkeley.edu/pubs/488.html
17. Faustini, A.: An operational semantics for pure dataflow. In: M. Nielsen, E.M. Schmidt (eds.)
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16,
1982, Proceedings, LNCS Vol. 140, pp. 212-224. Springer Verlag, Berlin (1982)
18. Geilen, M.: An hierarchical compositional operational semantics of Kahn Process Networks
and its Kahn Principle. Tech. rep., Electronic Systems Group, Dept. of Electrical Engineering,
Eindhoven University of Technology (2009)
19. Geilen, M.: Synchronous data flow scenarios. Transactions on Embedded Computing Systems,
Special issue on Model-driven Embedded-system Design, 10 (2), (2010)
20. Geilen, M., Basten, T.: Requirements on the execution of Kahn process networks. In: P. Degano
(ed.) Proc. of the 12th European Symposium on Programming, ESOP 2003, vol. LNCS 2618.
Warsaw, Poland (2003)
21. Geilen, M., Basten, T.: Reactive process networks. In: EMSOFT '04: Proceedings of the 4th
ACM international conference on Embedded software, pp. 137-146. ACM, New York, NY,
USA (2004). DOI http://doi.acm.org/10.1145/1017753.1017778
22. Geilen, M., Stuijk, S.: Worst-case performance analysis of synchronous dataflow scenar-
ios. In: International Conference on Hardware-Software Codesign and System Synthesis,
CODES+ISSS 10, Proc., Scottsdale, Az, USA, 24-29 October, 2010, pp. 125-134 (2010)
23. Girault, A., Lee, B., Lee, E.: Hierarchical finite state machines with multiple concurrency
models. IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems
18 (6), 742-760 (1999)
24. Goel, M.: Process networks in Ptolemy II. Technical Memorandum UCB/ERL No. M98/69,
University of California, EECS Dept., Berkeley, CA (1998)
25. Ha, S., Oh, H.: Decidable dataflow models for signal processing: Synchronous dataflow and its
extensions. In: S.S. Bhattacharyya, E.F. Deprettere, R. Leupers, J. Takala (eds.) Handbook of
Signal Processing Systems, second edn. Springer (2013)
26. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous programming language
LUSTRE. Proceedings of the IEEE 79 , 1305-1319 (1991)
27. Jiang, B., Deprettere, E., Kienhuis, B.: Hierarchical run time deadlock detection in process
networks. In: Signal Processing Systems, 2008. SiPS 2008. IEEE Workshop on, pp. 239-244
(2008). DOI 10.1109/SIPS.2008.4671769