{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:08:18Z","timestamp":1743109698400,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":56,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461468585"},{"type":"electronic","value":"9781461468592"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-6859-2_32","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T16:35:53Z","timestamp":1371659753000},"page":"1041-1081","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Kahn Process Networks and a Reactive Extension"],"prefix":"10.1007","author":[{"given":"Marc","family":"Geilen","sequence":"first","affiliation":[]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,10]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Allen, G., Evans, B., Schanbacher, D.: Real-time sonar beamforming on a UNIX workstation using process networks and POSIX threads. In: Proc. of the 32nd Asilomar Conference on Signals, Systems and Computers, pp.\u00a01725\u20131729. IEEE Computer Society (1998)","DOI":"10.1109\/ACSSC.1998.751620"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Allen, G., Zucknick, P., Evans, B.: A distributed deadlock detection and resolution algorithm for process networks. In: Acoustics, Speech and Signal Processing, 2007. ICASSP 2007. IEEE International Conference on, vol.\u00a02, pp.\u00a0II\u201333\u2013II\u201336 (2007). DOI\u00a010.1109\/ICASSP.2007.366165","DOI":"10.1109\/ICASSP.2007.366165"},{"key":"32_CR3","unstructured":"Basten, T., Hoogerbrugge, J.: Efficient execution of process networks. In: A.\u00a0Chalmers, M.\u00a0Mirmehdi, H.\u00a0Muller (eds.) Proc. of Communicating Process Architectures 2001, Bristol, UK, September 2001, pp.\u00a01\u201314. IOS Press (2001)"},{"issue":"4","key":"32_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1376804.1376811","volume":"7","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7(4), 1\u201336 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"Benveniste, A., Guemic, P.L.: Hybrid dynamical systems theory and the signal language. IEEE Trans. Automat. Contr. 35, 535\u2013546 (1990)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program. 19, 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"32_CR7","doi-asserted-by":"publisher","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B. Bhattacharya","year":"2001","unstructured":"Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. IEEE Transactions on Signal Processing 49(10), 2408\u20132421 (2001)","journal-title":"IEEE Transactions on Signal Processing"},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008052406396","volume":"21","author":"S. Bhattacharyya","year":"1999","unstructured":"Bhattacharyya, S., Murthy, P., Lee, E.: Synthesis of embedded software from synchronous dataflow specifications. J. VLSI Signal Process. Syst. 21(2), 151\u2013166 (1999)","journal-title":"J. VLSI Signal Process. Syst."},{"key":"32_CR9","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of Programming Concepts, International Colloquium, Proceedings, vol. LNCS 107","author":"J. Brock","year":"1981","unstructured":"Brock, J., Ackerman, W.: Scenarios: A model of non-determinate computation. In: J.\u00a0D\u00edaz, I.\u00a0Ramos (eds.) Formalization of Programming Concepts, International Colloquium, Proceedings, vol.\u00a0LNCS 107, pp.\u00a0252\u2013259. Peniscola, Spain (1981)"},{"key":"32_CR10","unstructured":"Brookes, S.: On the Kahn principle and fair networks. Tech. Rep. CMU-CS-98-156, School of Computer Science, Carnegie Mellon University (1998)"},{"issue":"1","key":"32_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796800000241","volume":"2","author":"M. Broy","year":"1992","unstructured":"Broy, M., Dendorfer, C.: Modelling operating system structures by timed stream processing functions. Journal of Functional Programming 2(1), 1\u201321 (1992). URL citeseer.nj.nec.com\/broy92modelling.html","journal-title":"Journal of Functional Programming"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10703-006-7842-x","volume":"28","author":"L.P. Carloni","year":"2006","unstructured":"Carloni, L.P., Sangiovanni-Vincentelli, A.L.: A framework for modeling the distributed deployment of synchronous designs. Form. Methods Syst. Des 28, 93\u2013110 (2006)","journal-title":"Form. Methods Syst. Des"},{"key":"32_CR14","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK (1990)"},{"key":"32_CR15","unstructured":"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.\u00a0271\u2013277 (2004)"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013144 (2003). URL http:\/\/chess.eecs.berkeley.edu\/pubs\/488.html","DOI":"10.1109\/JPROC.2002.805829"},{"key":"32_CR17","first-page":"212","volume-title":"Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12\u201316, 1982, Proceedings, LNCS Vol. 140","author":"A. Faustini","year":"1982","unstructured":"Faustini, A.: An operational semantics for pure dataflow. In: M.\u00a0Nielsen, E.M. Schmidt (eds.) Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12\u201316, 1982, Proceedings, LNCS Vol. 140, pp.\u00a0212\u2013224. Springer Verlag, Berlin (1982)"},{"key":"32_CR18","unstructured":"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)"},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"Geilen, M.: Synchronous data flow scenarios. Transactions on Embedded Computing Systems, Special issue on Model-driven Embedded-system Design, 10(2), (2010)","DOI":"10.1145\/1880050.1880052"},{"key":"32_CR20","volume-title":"Proc. of the 12th European Symposium on Programming, ESOP 2003, vol. LNCS 2618","author":"M. Geilen","year":"2003","unstructured":"Geilen, M., Basten, T.: Requirements on the execution of Kahn process networks. In: P.\u00a0Degano (ed.) Proc. of the 12th European Symposium on Programming, ESOP 2003, vol.\u00a0LNCS 2618. Warsaw, Poland (2003)"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Geilen, M., Basten, T.: Reactive process networks. In: EMSOFT \u201904: Proceedings of the 4th ACM international conference on Embedded software, pp.\u00a0137\u2013146. ACM, New York, NY, USA (2004). DOI\u00a0http: \/\/doi.acm.org\/10.1145\/1017753.1017778","DOI":"10.1145\/1017753.1017778"},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"Geilen, M., Stuijk, S.: Worst-case performance analysis of synchronous dataflow scenarios. In: International Conference on Hardware-Software Codesign and System Synthesis, CODES+ISSS 10, Proc., Scottsdale, Az, USA, 24\u201329 October, 2010, pp.\u00a0125\u2013134 (2010)","DOI":"10.1145\/1878961.1878985"},{"issue":"6","key":"32_CR23","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/43.766725","volume":"18","author":"A. Girault","year":"1999","unstructured":"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\u2013760 (1999)","journal-title":"IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems"},{"key":"32_CR24","unstructured":"Goel, M.: Process networks in Ptolemy II. Technical Memorandum UCB\/ERL No. M98\/69, University of California, EECS Dept., Berkeley, CA (1998)"},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"Ha, S., Oh, H.: Decidable dataflow models for signal processing: Synchronous dataflow and its extensions. In: S.S. Bhattacharyya, E.F. Deprettere, R.\u00a0Leupers, J.\u00a0Takala (eds.) Handbook of Signal Processing Systems, second edn. Springer (2013)","DOI":"10.1007\/978-1-4614-6859-2_33"},{"key":"32_CR26","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous programming language LUSTRE. Proceedings of the IEEE 79, 1305\u20131319 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"32_CR27","doi-asserted-by":"crossref","unstructured":"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.\u00a0239\u2013244 (2008). DOI\u00a010.1109\/SIPS.2008. 4671769","DOI":"10.1109\/SIPS.2008.4671769"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"Jonsson, B.: A fully abstract trace model for dataflow networks. In: POPL \u201989: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.\u00a0155\u2013165. ACM, New York, NY, USA (1989)","DOI":"10.1145\/75277.75291"},{"key":"32_CR29","first-page":"471","volume-title":"Information Processing 74: Proceedings of the IFIP Congress 74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: J.\u00a0Rosenfeld (ed.) Information Processing 74: Proceedings of the IFIP Congress 74, pp.\u00a0471\u2013475. North-Holland, Amsterdam, Netherlands, Stockholm, Sweden (1974)"},{"key":"32_CR30","first-page":"993","volume-title":"Information Processing 77: Proceedings of the IFIP Congress 77","author":"G. Kahn","year":"1977","unstructured":"Kahn, G., MacQueen, D.: Coroutines and networks of parallel programming. In: B.\u00a0Gilchrist (ed.) Information Processing 77: Proceedings of the IFIP Congress 77, pp.\u00a0993\u2013998. North-Holland, Toronto, Canada (1977)"},{"key":"32_CR31","doi-asserted-by":"crossref","unstructured":"de\u00a0Kock, E., et\u00a0al.: YAPI: Application modeling for signal processing systems. In: Proc. of the 37th.\u00a0Design Automation Conference, pp.\u00a0402\u2013405. IEEE, Los Angeles, CA (2000)","DOI":"10.1145\/337292.337511"},{"key":"32_CR32","unstructured":"Lee, B.: Specification and design of reactive systems. Ph.D. thesis, Electronics Research Laboratory, University of California, EECS Dept., Berkeley, CA (2000). Memorandum UCB\/ERL M00\/29"},{"key":"32_CR33","unstructured":"Lee, E.: Overview of the Ptolemy project. Technical Memorandum UCB\/ERL No. M01\/11, University of California, EECS Dept., Berkeley, CA (2001)"},{"issue":"9","key":"32_CR34","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E. Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. IEEE Proceedings 75(9), 1235\u20131245 (1987)","journal-title":"IEEE Proceedings"},{"key":"32_CR35","doi-asserted-by":"crossref","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 17(12), 1217\u20131229 (Dec 1998). DOI\u00a010. 1109\/43.736561","DOI":"10.1109\/43.736561"},{"key":"32_CR36","unstructured":"Lee, E.A., Matsikoudis, E.: The semantics of dataflow with firing. In: Y.\u00a0Bertot, G.\u00a0Huet, J.J. Lvy, G.\u00a0Plotkin (eds.) From Semantics to Computer Science: Essays in Honour of Gilles Kahn, chap.\u00a04. Cambridge University Press (2007). URL http:\/\/chess.eecs.berkeley.edu\/pubs\/428.html"},{"key":"32_CR37","doi-asserted-by":"crossref","unstructured":"Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Theor. Comput. Sci. 409(1), 110\u2013125 (2008). DOI\u00a0http:\/\/dx.doi.org\/10. 1016\/j.tcs.2008.08.044","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"32_CR38","doi-asserted-by":"crossref","unstructured":"Lynch, N., Stark, E.: A proof of the Kahn principle for Input\/Output automata. Information and Computation 82(1), 81\u201392 (1989). URL citeseer.nj.nec.com\/lynch89proof.html","DOI":"10.1016\/0890-5401(89)90066-7"},{"issue":"3","key":"32_CR39","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0020-0190(85)90078-X","volume":"20","author":"A. Martin","year":"1985","unstructured":"Martin, A.: The probe: An addition to communication primitives. Information Processing Letters 20(3), 125\u2013130 (1985)","journal-title":"Information Processing Letters"},{"key":"32_CR40","unstructured":"Neuendorffer, S., Lee, E.A.: Hierarchical reconfiguration of dataflow models. In: Proc. Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004) (2004)"},{"key":"32_CR41","doi-asserted-by":"crossref","unstructured":"Olson, A., Evans, B.: Deadlock detection for distributed process networks. In: Acoustics, Speech, and Signal Processing, 2005. Proceedings. (ICASSP \u201905). IEEE International Conference on, vol.\u00a05, pp.\u00a0v\/73\u2013v\/76 Vol.\u00a05 (2005). DOI\u00a010.1109\/ICASSP.2005.1416243","DOI":"10.1109\/ICASSP.2005.1416243"},{"key":"32_CR42","doi-asserted-by":"crossref","unstructured":"Park, D.: On the semantics of fair parallelism. In: Abstract Software Specifications, Volume\u00a086 of Lecture Notes in Computer Science. Springer Verlag, Berlin (1979)","DOI":"10.1007\/3-540-10007-5_47"},{"key":"32_CR43","unstructured":"Parks, T.: Bounded Scheduling of Process Networks. Ph.D. thesis, University of California, EECS Dept., Berkeley, CA (1995)"},{"key":"32_CR44","unstructured":"Plotkin, G.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, \u00c5rhus University, Computer Science Department, \u00c5rhus, Denmark (1981)"},{"key":"32_CR45","doi-asserted-by":"crossref","unstructured":"Poplavko, P., Basten, T., van Meerbergen, J.: Execution-time prediction for dynamic streaming applications with task-level parallelism. In: DSD \u201907: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, pp.\u00a0228\u2013235. IEEE\u00a0Computer Society, Washington, DC, USA (2007). DOI\u00a0http:\/\/dx.doi.org\/10.1109\/ DSD.2007.52","DOI":"10.1109\/DSD.2007.4341473"},{"key":"32_CR46","doi-asserted-by":"crossref","unstructured":"Russell, J.: Full abstraction for nondeterministic dataflow networks. In: Symposium on Foundations of Computer Science, pp.\u00a0170\u2013175. Research Triangle Park, NC (1989). DOI\u00a0http:\/\/doi.ieeecomputersociety.org\/10. 1109\/SFCS.1989.63474","DOI":"10.1109\/SFCS.1989.63474"},{"key":"32_CR47","volume-title":"Embedded Multiprocessors: Scheduling and Synchronization","author":"S. Sriram","year":"2000","unstructured":"Sriram, S., Bhattacharyya, S.S.: Embedded Multiprocessors: Scheduling and Synchronization. Marcel Dekker, Inc., New York, NY, USA (2000)"},{"key":"32_CR48","doi-asserted-by":"crossref","unstructured":"Stark, E.: Concurrent transition system semantics of process networks. In: Proc. of the 1987 SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Munich, Germany, January 1987, pp.\u00a0199\u2013210. ACM Press (1987)","DOI":"10.1145\/41625.41643"},{"key":"32_CR49","unstructured":"Stevens, R., Wan, M., Laramie, P., Parks, T., Lee, E.: Implementation of process networks in Java. Technical Memorandum UCB\/ERL No. M97\/84, University of California, EECS Dept., Berkeley, CA (1997)"},{"issue":"4","key":"32_CR50","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1109\/92.931229","volume":"9","author":"URL citeseer.nj.nec.com\/","year":"2001","unstructured":"Strehl, K., Thiele, L., Gries, M., Ziegenbein, D., Ernst, R., Teich, J.: FunState - an internal design representation for codesign. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 9(4), 524\u2013544 (2001). URL citeseer.nj.nec.com\/strehl01funstate.html","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"32_CR51","unstructured":"Theelen, B.D., Geilen, M., Basten, T., Voeten, J., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: MEMOCODE, pp.\u00a0185\u2013194 (2006)"},{"key":"32_CR52","first-page":"179","volume-title":"Proc. 11th International Conference Compiler Construction CC 2002, vol. LNCS 2306","author":"W. Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.: StreamIt: A language for streaming applications. In: R.N. Horspool (ed.) Proc. 11th International Conference Compiler Construction CC 2002, vol.\u00a0LNCS 2306, pp.\u00a0179\u2013196. Grenoble, France (2002)"},{"key":"32_CR53","doi-asserted-by":"crossref","unstructured":"Thies, W., Karczmarek, M., Sermulins, J., Rabbah, R., Amarasinghe, S.: Teleport messaging for distributed stream programs. In: PPoPP \u201905: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.\u00a0224\u2013235. ACM, New York, NY, USA (2005). DOI\u00a0http:\/\/doi.acm.org\/10.1145\/1065944.1065975","DOI":"10.1145\/1065944.1065975"},{"key":"32_CR54","doi-asserted-by":"crossref","unstructured":"Thomas T.\u00a0Hildebrandt Prakash\u00a0Panangaden, G.W.: A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science pp.\u00a0613\u2013649 (2004)","DOI":"10.1017\/S0960129504004293"},{"key":"32_CR55","unstructured":"Vayssi\u00e8re, J., Webb, D., Wendelborn, A.: Distributed process networks. Tech. Rep. TR 99-03, University of Adelaide, Department of Computer Science, South Australia 5005, Australia (1999)"},{"key":"32_CR56","first-page":"384","volume-title":"CONCUR\u201993: Proc. of the 4th International Conference on Concurrency Theory","author":"R.K. Yates","year":"1993","unstructured":"Yates, R.K.: Networks of real-time processes. In: E.\u00a0Best (ed.) CONCUR\u201993: Proc.\u00a0of the 4th International Conference on Concurrency Theory, pp.\u00a0384\u2013397. Springer Verlag, Berlin, Heidelberg (1993)"}],"container-title":["Handbook of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6859-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:48:39Z","timestamp":1725623319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-6859-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461468585","9781461468592"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6859-2_32","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"10 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}