{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:40:20Z","timestamp":1739922020185,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1007\/s10270-010-0152-1","type":"journal-article","created":{"date-parts":[[2010,3,3]],"date-time":"2010-03-03T06:21:39Z","timestamp":1267597299000},"page":"183-200","source":"Crossref","is-referenced-by-count":4,"title":["B\u00fcchi automata for modeling component connectors"],"prefix":"10.1007","volume":"10","author":[{"given":"Mohammad","family":"Izadi","sequence":"first","affiliation":[]},{"given":"Marcello","family":"Bonsangue","sequence":"additional","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,4]]},"reference":[{"issue":"3","key":"152_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."},{"key":"152_CR2","doi-asserted-by":"crossref","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J., Sirjani, M.: Synthesis of Reo circuites for implementation of component-connector automata specifications. In: Proceedings of Coordination Languages and Models (CORDINATION 2005), LNCS, vol. 3454, pp. 236\u2013251. Springer-Verlag (2005)","DOI":"10.1007\/11417019_16"},{"key":"152_CR3","doi-asserted-by":"crossref","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component connectors with QoS guarantees. In: Proceedings of Coordination Languages and Models (CORDINATION 2007), LNCS, vol. 4467, pp. 286\u2013304. Springer-Verlag (2007)","DOI":"10.1007\/978-3-540-72794-1_16"},{"key":"152_CR4","doi-asserted-by":"crossref","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Proceedings of Recent Trends in Algebraic Development Techniques, (WADT 2002) LNCS, vol. 2755, pp. 34\u201355. Springer-Verlag (2002)","DOI":"10.1007\/978-3-540-40020-2_2"},{"key":"152_CR5","doi-asserted-by":"crossref","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors. In: Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 198\u2013207. IEEE Computer Society (2004)","DOI":"10.1109\/SEFM.2004.1347521"},{"key":"152_CR6","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.: Modelling component connectors in Reo by constraint automata. Sci. Comput. Program. 61, 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"152_CR7","doi-asserted-by":"crossref","unstructured":"Baier, C., Wolf, V.: Stochastic reasoning about channel-based component connectors. In: Proceedings of Coordination Languages and Models (CORDINATION 2006), LNCS, vol. 4037, pp. 1\u201315. Springer-Verlag (2006)","DOI":"10.1007\/11767954_1"},{"issue":"10","key":"152_CR8","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S. Bliudze","year":"2008","unstructured":"Bliudze S., Sifakis J.: The algebra of connectors\u2014structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008)","journal-title":"IEEE Trans. Comput."},{"key":"152_CR9","doi-asserted-by":"crossref","unstructured":"Bonsangue, M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Proceedings of Coordination Languages and Models (CORDINATION 2009), LNCS, vol. 5521, pp. 184\u2013203. Springer-Verlag (2009)","DOI":"10.1007\/978-3-642-02053-7_10"},{"key":"152_CR10","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an open source tool for symbolic model checking. In: Proceedings of the 14th CAV, LNCS, vol. 2404, pp. 359\u2013364. Springer-Verlag (2002)","DOI":"10.1007\/3-540-45657-0_29"},{"key":"152_CR11","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke E., Grumberg O., Peled D.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"152_CR12","doi-asserted-by":"crossref","unstructured":"Clarke, D.: Coordination: Reo, nets, and logic. In: Proceedings of Formal Methods on Components and Objects (FMCO 2008), LNCS, vol. 5382, pp. 226\u2013256. Springer-Verlag (2008)","DOI":"10.1007\/978-3-540-92188-2_10"},{"issue":"3","key":"152_CR13","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D. Clarke","year":"2007","unstructured":"Clarke D., Costa D., Arbab F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"152_CR14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"152_CR15","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"2006","unstructured":"Hopcroft J., Motwani R., Ullman J.: Introduction to Automata Theory, Languages, and Computation. 3rd edn. Addison-Wesley, Reading (2006)","edition":"3"},{"key":"152_CR16","doi-asserted-by":"crossref","unstructured":"Izadi, M., Bonsangue, M.: Recasting constraint automata into B\u00fcchi automata. In: Proceedings of ICTAC 2008, LNCS, vol. 5160, pp. 156\u2013170, Springer-Verlag (2008)","DOI":"10.1007\/978-3-540-85762-4_11"},{"key":"152_CR17","doi-asserted-by":"crossref","unstructured":"Izadi, M., Bonsangue, M., Clarke, D.: Modeling Component Connectors: synchronisation and Context-Dependency. In: Proceedings of 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), pp. 303\u2013312. IEEE Computer Society (2008)","DOI":"10.1109\/SEFM.2008.24"},{"key":"152_CR18","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0022-0000(69)80027-9","volume":"3","author":"D. Kaplan","year":"1969","unstructured":"Kaplan D.: Regular expressions and the equivalence of programs. J. Comput. Syst. Sci. 3, 361\u2013386 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"152_CR19","first-page":"117","volume":"24","author":"D. Kozen","year":"2003","unstructured":"Kozen D.: Automata on guarded strings and applications. Mat\u00e9matica Contempor\u00e2nea 24, 117\u2013139 (2003)","journal-title":"Mat\u00e9matica Contempor\u00e2nea"},{"key":"152_CR20","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.: Verification of fair transition systems. In: Proceedings of the 8th International Conference on Computer Aided Verification CAV, LNCS. Springer (1996)","DOI":"10.1007\/3-540-61474-5_84"},{"key":"152_CR21","doi-asserted-by":"crossref","unstructured":"Mousavi, M., Sirjani, M., Arbab, F.: Formal sematics and analysis of component connectors in Reo. In: Proceedings of FOCLASA 2005, ENTCS, vol. 154, pp. 83\u201399. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.12.034"},{"key":"152_CR22","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"G. Papadopoulos","year":"1998","unstructured":"Papadopoulos G., Arbab F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998)","journal-title":"Adv. Comput."},{"key":"152_CR23","unstructured":"Remy, D.: Efficient representation of extensible records. In: Proceedings of ACM SIGPLAN Workshop on ML and its applications, pp. 12\u201316 (1994)"},{"key":"152_CR24","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski C., Gruntz D., M\u00fcrer S.: Component Software: Beyond Object-Oriented Programming. 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"152_CR25","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, vol. B, pp. 133\u2013191. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"152_CR26","doi-asserted-by":"crossref","unstructured":"Vardi, M.: An automata-theoretic approach to linear temporal logic. In: LNCS, vol. 1043, pp. 238\u2013266. Springer-Verlag (1996)","DOI":"10.1007\/3-540-60915-6_6"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10270-010-0152-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:19:22Z","timestamp":1739920762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0152-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,4]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["152"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0152-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2010,3,4]]}}}