{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:50:37Z","timestamp":1743144637309,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223960"},{"type":"electronic","value":"9783030223977"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-22397-7_15","type":"book-chapter","created":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T18:14:14Z","timestamp":1559672054000},"page":"250-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coordination of Tasks on a Real-Time OS"],"prefix":"10.1007","author":[{"given":"Guillermina","family":"Cledou","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[]},{"given":"Bernhard H. C.","family":"Sputh","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Verhulst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,5]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-21338-0_9","volume-title":"Reliable Software Technologies - Ada-Europe 2011","author":"L Carnevali","year":"2011","unstructured":"Carnevali, L., Lipari, G., Pinzuti, A., Vicario, E.: A formal approach to design and verification of two-level hierarchical scheduling systems. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 118\u2013131. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21338-0_9"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-030-04771-9_25","volume-title":"Software Technologies: Applications and Foundations","author":"R Cruz","year":"2018","unstructured":"Cruz, R., Proen\u00e7a, J.: ReoLive: analysing connectors in your browser. In: Mazzara, M., Ober, I., Sala\u00fcn, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 336\u2013350. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-04771-9_25"},{"key":"15_CR4","series-title":"NATO Science Series","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L de Alfaro","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NSS, vol. 195, pp. 83\u2013104. Springer, Dordrecht (2005). https:\/\/doi.org\/10.1007\/1-4020-3532-2_3"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"35:1","DOI":"10.1145\/2950053","volume":"16","author":"C Dietrich","year":"2017","unstructured":"Dietrich, C., Hoffmann, M., Lohmann, D.: Global optimization of fixed-priority real-time systems by rtos-aware control-flow analysis. ACM Trans. Embed. Comput. Syst. 16(2), 35:1\u201335:25 (2017). https:\/\/doi.org\/10.1145\/2950053","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-39519-7_6","volume-title":"Coordination Models and Languages","author":"K Dokter","year":"2016","unstructured":"Dokter, K., Jongmans, S.-S., Arbab, F.: Scheduling games for concurrent systems. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 84\u2013100. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39519-7_6"},{"key":"15_CR7","unstructured":"Ha, V., Rangarajan, M., Cofer, D., Rues, H., Dutertre, B.: Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report. In: Proceedings of the 26th International Conference on Software Engineering. ICSE 2004. pp. 304\u2013313. IEEE Computer Society, Washington (2004). http:\/\/dl.acm.org\/citation.cfm?id=998675.999435"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.scico.2017.03.006","volume":"146","author":"S.-S.T.Q. Jongmans","year":"2017","unstructured":"Jongmans, S.S., Kapp\u00e9, T., Arbab, F.: Constraint automata with memory cells and their composition. Sci. Comput. Prog. 146, 50\u201386 (2017). https:\/\/doi.org\/10.1016\/j.scico.2017.03.006, http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642317300552. special issue with extended selected papers from FACS 2015","journal-title":"Science of Computer Programming"},{"issue":"11","key":"15_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"AB Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM 5(11), 558\u2013562 (1962). https:\/\/doi.org\/10.1145\/368996.369025","journal-title":"Commun. ACM"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/0304-3975(94)90242-9","volume":"134","author":"M Kaminski","year":"1994","unstructured":"Kaminski, M., Francez, N.: Finite-memory automata. Theor. Comput. Sci. 134(2), 329\u2013363 (1994). https:\/\/doi.org\/10.1016\/0304-3975(94)90242-9","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"15_CR11","first-page":"187","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Reo+ mCRL2: a framework for model-checking dataflow in service compositions. FAC 24(2), 187\u2013216 (2012)","journal-title":"FAC"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-28729-9_17","volume-title":"Foundations of Software Science and Computational Structures","author":"A Kurz","year":"2012","unstructured":"Kurz, A., Suzuki, T., Tuosto, E.: On nominal regular languages with binders. In: Birkedal, L. (ed.) FoSSaCS 2012. LNCS, vol. 7213, pp. 255\u2013269. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28729-9_17"},{"key":"15_CR13","unstructured":"NV, A.: OpenComRTOS-Suite Manual and API Manual (1.4.3.3). http:\/\/www.altreonic.com\/sites\/default\/files\/OpenComRTOS_API-Manual.pdf"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Madeira, A.: Taming hierarchical connectors. In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019. LNCS, Tehran, Iran (2019, to appear)","DOI":"10.1007\/978-3-030-31517-7_13"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-662-54458-7_8","volume-title":"Foundations of Software Science and Computation Structures","author":"L Schr\u00f6der","year":"2017","unstructured":"Schr\u00f6der, L., Kozen, D., Milius, S., Wi\u00dfmann, T.: Nominal automata with name binding. In: Esparza, J., Murawski, A.S. (eds.) FoSSaCS 2017. LNCS, vol. 10203, pp. 124\u2013142. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54458-7_8"},{"key":"15_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9736-4","author":"E Verhulst","year":"2011","unstructured":"Verhulst, E., Boute, R.T., Faria, J.M.S., Sputh, B.H., Mezhuyev, V.: Formal Development of a Network-Centric RTOS: software engineering for reliable embedded systems. Springer Science & Business Media (2011). https:\/\/doi.org\/10.1007\/978-1-4419-9736-4","journal-title":"Springer Science & Business Media"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22397-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:03:20Z","timestamp":1685837000000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-22397-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223960","9783030223977"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22397-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kongens Lyngby","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}