{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T22:40:09Z","timestamp":1751755209218,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319952451"},{"type":"electronic","value":"9783319952468"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95246-8_3","type":"book-chapter","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T06:50:32Z","timestamp":1531983032000},"page":"38-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Interfaces for Stream Processing Systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Mamouras","sequence":"additional","affiliation":[]},{"given":"Caleb","family":"Stanford","sequence":"additional","affiliation":[]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"key":"3_CR1","unstructured":"Abadi, D., Ahmad, Y., Balazinska, M., Cetintemel, U., Cherniack, M., Hwang, J.H., Lindner, W., Maskey, A., Rasin, A., Ryvkina, E., Tatbul, N., Xing, Y., Zdonik, S.: The design of the Borealis stream processing engine. In: Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR), pp. 277\u2013289 (2005)"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/s00778-003-0095-z","volume":"12","author":"D Abadi","year":"2003","unstructured":"Abadi, D., Carney, D., Cetintemel, U., Cherniack, M., Convey, C., Lee, S., Stonebraker, M., Tatbul, N., Zdonik, S.: Aurora: a new model and architecture for data stream management. VLDB J. 12(2), 120\u2013139 (2003)","journal-title":"VLDB J."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.: Interface automata. In: Proceedings of the Ninth Annual ACM Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Ali, M., Chandramouli, B., Goldstein, J., Schindlauer, R.: The extensibility framework in Microsoft StreamInsight. In: Proceedings of the 27th IEEE International Conference on Data Engineering (ICDE), pp. 1242\u20131253 (2011)","DOI":"10.1109\/ICDE.2011.5767878"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-662-49498-1_2","volume-title":"Programming Languages and Systems","author":"R Alur","year":"2016","unstructured":"Alur, R., Fisman, D., Raghothaman, M.: Regular programming for quantitative properties of data streams. In: Thiemann, P. (ed.) ESOP 2016. LNCS, vol. 9632, pp. 15\u201340. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49498-1_2"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2), 121\u2013142 (2006)","journal-title":"VLDB J."},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of Programming Concepts","author":"JD Brock","year":"1981","unstructured":"Brock, J.D., Ackerman, W.B.: Scenarios: a model of non-determinate computation. In: D\u00edaz, J., Ramos, I. (eds.) ICFPC 1981. LNCS, vol. 107, pp. 252\u2013259. Springer, Heidelberg (1981). https:\/\/doi.org\/10.1007\/3-540-10699-5_102"},{"key":"3_CR9","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: Proceedings of the 6th Conference on Symposium on Operating Systems Design and Implementation, OSDI 2004, pp. 137\u2013149. USENIX Association (2004). https:\/\/www.usenix.org\/legacy\/publications\/library\/proceedings\/osdi04\/tech\/dean.html"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1006\/inco.1998.2777","volume":"150","author":"S Grumbach","year":"1999","unstructured":"Grumbach, S., Milo, T.: An algebra of pomsets. Inf. Comput. 150, 268\u2013306 (1999)","journal-title":"Inf. Comput."},{"key":"3_CR11","first-page":"471","volume":"74","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. Inf. Process. 74, 471\u2013475 (1974)","journal-title":"Inf. Process."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Kulkarni, S., Bhagat, N., Fu, M., Kedigehalli, V., Kellogg, C., Mittal, S., Patel, J., Ramasamy, K., Taneja, S.: Twitter heron: stream processing at scale. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 239\u2013250 (2015)","DOI":"10.1145\/2723372.2742788"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"9","key":"3_CR14","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Li, J., Maier, D., Tufte, K., Papamidos, V., Tucker, P.: Semantics and evaluation techniques for window aggregates in data streams. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 311\u2013322 (2015)","DOI":"10.1145\/1066157.1066193"},{"key":"3_CR16","volume-title":"Distributed Algorithms","author":"N Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, Burlington (1996)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Mamouras, K., Raghothaman, M., Alur, R., Ives, Z., Khanna, S.: StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. In: Proceedings of 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 693\u2013708 (2017)","DOI":"10.1145\/3062341.3062369"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 278\u2013324. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_30"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0890-5401(92)90043-F","volume":"98","author":"P Panangaden","year":"1992","unstructured":"Panangaden, P., Shanbhogue, V.: The expressive power of indeterminate dataflow primitives. Inf. Comput. 98(1), 99\u2013131 (1992)","journal-title":"Inf. Comput."},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Program. 15(1), 33\u201371 (1986)","journal-title":"Int. J. Parallel Program."}],"container-title":["Lecture Notes in Computer Science","Principles of Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95246-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T21:59:25Z","timestamp":1751752765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95246-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319952451","9783319952468"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95246-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}