{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:51Z","timestamp":1765123311760,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"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-90089-6_4","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"57-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Note on Reactive Transitions and Reo Connectors"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Figueiredo","sequence":"first","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20133","key":"4_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1\u20133), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"4_CR3","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/jigpal\/jzt030","volume":"22","author":"C Areces","year":"2014","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22(2), 309\u2013332 (2014)","journal-title":"Logic J. IGPL"},{"issue":"4","key":"4_CR4","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601\u2013627 (2015)","journal-title":"Logic J. IGPL"},{"issue":"2","key":"4_CR5","doi-asserted-by":"crossref","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."},{"issue":"9","key":"4_CR6","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1016\/j.scico.2008.09.019","volume":"74","author":"MA Barbosa","year":"2009","unstructured":"Barbosa, M.A., Barbosa, L.S.: A perspective on service orchestration. Sci. Comput. Program. 74(9), 671\u2013687 (2009)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"4_CR7","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339\u2013365 (2000)","journal-title":"Logic J. IGPL"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-02053-7_10","volume-title":"Coordination Models and Languages","author":"M Bonsangue","year":"2009","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 184\u2013203. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02053-7_10"},{"key":"4_CR9","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and its Proof-Theory","author":"T Brauner","year":"2010","unstructured":"Brauner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-94-007-0002-4"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Figueiredo, D.: Relating bisimulations with attractors in Boolean network models. In: Bot\u00f3n-Fern\u00e1ndez, M., Mart\u00edn-Vide, C., Santander-Jim\u00e9nez, S., Vega-Rodr\u00edguez, M. (eds.) AlCoB 2016. LNCS, vol. 9702, pp. 17\u201325. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-38827-4_2","DOI":"10.1007\/978-3-319-38827-4_2"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.mbs.2017.05.012","volume":"291","author":"D Figueiredo","year":"2017","unstructured":"Figueiredo, D., Martins, M.A., Chaves, M.: Applying differential dynamic logic to reconfigurable biological networks. Math. Biosci. 291, 10\u201320 (2017)","journal-title":"Math. Biosci."},{"issue":"2","key":"4_CR12","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s11225-009-9214-1","volume":"93","author":"D Gabbay","year":"2009","unstructured":"Gabbay, D., Marcelino, S.: Modal logics of reactive frames. Stud. Logica 93(2), 405\u2013446 (2009)","journal-title":"Stud. Logica"},{"issue":"1\u20134","key":"4_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10472-012-9312-z","volume":"66","author":"D Gabbay","year":"2012","unstructured":"Gabbay, D., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1\u20134), 1\u201332 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR14","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comp. Sci. 22(1), 201\u2013251 (2012)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","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. Formal Asp. Comput. 24(2), 187\u2013216 (2012)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.scico.2009.10.006","volume":"76","author":"C Krause","year":"2011","unstructured":"Krause, C., Maraikar, Z., Lazovik, A., Arbab, F.: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1), 23\u201336 (2011)","journal-title":"Sci. Comput. Program."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.scico.2015.05.013","volume":"110","author":"N Oliveira","year":"2015","unstructured":"Oliveira, N., Barbosa, L.S.: Reasoning about software reconfigurations: the behavioural and structural perspectives. Sci. Comput. Program. 110, 78\u2013103 (2015)","journal-title":"Sci. Comput. Program."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing Mathematical Reasoning","author":"J Benthem van","year":"2005","unstructured":"van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268\u2013276. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-32254-2_16"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:38:56Z","timestamp":1525379936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}