{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:40:24Z","timestamp":1743630024731,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_22","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"484-508","source":"Crossref","is-referenced-by-count":1,"title":["Static Sessional Dataflow"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]},{"given":"Jianhua","family":"Yao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Ashcroft, E.A., Wadge, W.W.: Lucid, the dataflow programming language. Academic Press (1985)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Cyclo-static data flow. In: International Conference on Acoustics, Speech, and Signal Processing (ICASSP), vol.\u00a05, pp. 3255\u20133258 (May 1995)","DOI":"10.1109\/ICASSP.1995.479579"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., de Simone, R.: The Esterel language. Proc. IEEE\u00a079, 1270\u20131282 (1991)","journal-title":"Proc. IEEE"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F., de Simone, R.: The synchronous data flow programming language Lustre. Proc. IEEE\u00a079, 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pouzet, M.: Synchronous kahn networks. In: International Conference on Functional Programming, ICFP (1996)","DOI":"10.1145\/232627.232651"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, A., Duranton, M., Eisenbeis, C., Pagetti, C., Plateau, F., Pouzet, M.: N-synchronous kahn networks: a relaxed model of synchrony for real-time systems. In: Principles of Programming Languages (POPL), pp. 180\u2013193. ACM Press (2006)","DOI":"10.1145\/1111320.1111054"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for Objects. In: Vetta, A. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"},{"key":"22_CR8","first-page":"435","volume-title":"ACM Symposium on Principles of Programming Languages","author":"P.-M. Deni\u00e9lou","year":"2011","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: ACM Symposium on Principles of Programming Languages, pp. 435\u2013446. ACM, New York (2011)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14458-5_1","volume-title":"Web Services and Formal Methods","author":"M. Dezani-Ciancaglini","year":"2010","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol.\u00a06194, pp. 1\u201328. Springer, Heidelberg (2010)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Edwards, S.A.: Languages for Digital Embedded Systems. Kluwer (2000)","DOI":"10.1007\/978-1-4615-4325-1"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science (50), 1\u2013102 (1987)","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"22_CR12","first-page":"471","volume-title":"Information Processing 74: Proceedings of the IFIP Congress","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Information Processing 74: Proceedings of the IFIP Congress, pp. 471\u2013475. North-Holland, Stockholm (1974)"},{"issue":"9","key":"22_CR13","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. Proc. IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1145\/1639950.1640060","volume-title":"Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009","author":"S. Stork","year":"2009","unstructured":"Stork, S., Marques, P., Aldrich, J.: Concurrency by default: using permissions to express dataflow in stateful programs. In: Proceeding of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, pp. 933\u2013940. ACM, New York (2009)"},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng.\u00a012, 157\u2013171 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR16","unstructured":"Thies, W.: Language and Compiler Support for Stream Programs. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA (February 2009)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Bui, D., Rodiers, B., Lee, E.A.: Compositionality in synchronous data flow: Modular code generation from SDF graphs. Technical Report UCB\/EECS-2009-143, University of California, Berkeley (October 2009)","DOI":"10.21236\/ADA538756"},{"key":"22_CR18","unstructured":"Wadler, P.: Linear types can change the world? In: Programming Concepts and Methods. North (1990)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:19:32Z","timestamp":1743628772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}