{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:10Z","timestamp":1772164090858,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T00:00:00Z","timestamp":1529366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,19]]},"DOI":"10.1145\/3211332.3211339","type":"proceedings-article","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T15:49:37Z","timestamp":1528386577000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Compositionality in scenario-aware dataflow: a rendezvous perspective"],"prefix":"10.1145","author":[{"given":"Mladen","family":"Skelin","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Fran\u00e7ois Baccelli Guy Cohen Geert Jan Olsder and Jean-Pierre Quadrat. 2001. Synchronization and linearity: an algebra for discrete event systems.  Fran\u00e7ois Baccelli Guy Cohen Geert Jan Olsder and Jean-Pierre Quadrat. 2001. Synchronization and linearity: an algebra for discrete event systems."},{"key":"e_1_3_2_1_2_1","volume-title":"In 8th Intl. Workshop STreaming Day.","author":"Bariani Massimo","year":"2010"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Shuvra S. Battacharyya Edward A. Lee and Praveen K. Murthy. 1996. Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers Norwell MA USA.   Shuvra S. Battacharyya Edward A. Lee and Praveen K. Murthy. 1996. Software Synthesis from Dataflow Graphs . Kluwer Academic Publishers Norwell MA USA.","DOI":"10.1007\/978-1-4613-1389-2"},{"key":"e_1_3_2_1_4_1","unstructured":"Joseph T. Buck. 1993. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph.D. Dissertation. EECS Department University of California Berkeley.   Joseph T. Buck. 1993. Scheduling dynamic dataflow graphs with bounded memory using the token flow model . Ph.D. Dissertation. EECS Department University of California Berkeley."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Christos G Cassandras and Stephane Lafortune. 2009. Introduction to discrete event systems. Springer Science & Business Media.   Christos G Cassandras and Stephane Lafortune. 2009. Introduction to discrete event systems . Springer Science & Business Media.","DOI":"10.1007\/978-0-387-68612-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.478227"},{"key":"e_1_3_2_1_7_1","article-title":"Synchronous Dataflow Scenarios","volume":"10","author":"Geilen Marc","year":"2011","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Marc Geilen Joachim Falk Christian Haubelt Twan Basten Bart Theelen and Sander Stuijk. 2016. Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. Journal of Signal Processing Systems(2016) 1-19.   Marc Geilen Joachim Falk Christian Haubelt Twan Basten Bart Theelen and Sander Stuijk. 2016. Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. Journal of Signal Processing Systems (2016) 1-19.","DOI":"10.1007\/s11265-016-1193-7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878985"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Patrice Godefroid J Van Leeuwen J Hartmanis G Goos and Pierre Wolper. 1996. Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. Vol. 1032. Springer Heidelberg.   Patrice Godefroid J Van Leeuwen J Hartmanis G Goos and Pierre Wolper. 1996. Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem . Vol. 1032. Springer Heidelberg.","DOI":"10.1007\/3-540-60761-7"},{"key":"e_1_3_2_1_13_1","unstructured":"C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice-Hall Inc. Upper Saddle River NJ USA.   C. A. R. Hoare. 1985. Communicating Sequential Processes . Prentice-Hall Inc. Upper Saddle River NJ USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126507"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_16_1","unstructured":"R. Milner. 1982. A Calculus of Communicating Systems. Springer-Verlag New York Inc. Secaucus NJ USA.   R. Milner. 1982. A Calculus of Communicating Systems . Springer-Verlag New York Inc. Secaucus NJ USA."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2597223"},{"key":"e_1_3_2_1_18_1","first-page":"276","volume-title":"6th Intl. Conf., ACSD 2006, Proc. IEEE Computer Society Press","author":"Stuijk S."},{"key":"e_1_3_2_1_19_1","volume-title":"Embedded Computer Systems (SAMOS), 2011 Intl. Conf. on. 404-411","author":"Stuijk S."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"B. van der Sanden J. Bastos J. Voeten M. Geilen M. Reniers T. Basten J. Jacobs and R. Schiffelers. 2016. Compositional specification of functionality and timing of manufacturing systems. In 2016 Forum on Specification and Design Languages (FDL). 1-8.  B. van der Sanden J. Bastos J. Voeten M. Geilen M. Reniers T. Basten J. Jacobs and R. Schiffelers. 2016. Compositional specification of functionality and timing of manufacturing systems. In 2016 Forum on Specification and Design Languages (FDL) . 1-8.","DOI":"10.1109\/FDL.2016.7880372"}],"event":{"name":"LCTES '18: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2018","location":"Philadelphia PA USA","acronym":"LCTES '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211332.3211339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3211332.3211339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:08:14Z","timestamp":1750194494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3211332.3211339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,19]]},"references-count":20,"alternative-id":["10.1145\/3211332.3211339","10.1145\/3211332"],"URL":"https:\/\/doi.org\/10.1145\/3211332.3211339","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299710.3211339","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,19]]},"assertion":[{"value":"2018-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}