{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:31Z","timestamp":1740099151921,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003586"},{"type":"electronic","value":"9783030003593"}],"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-030-00359-3_6","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T06:08:28Z","timestamp":1535609308000},"page":"80-94","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Protocol for Constraint Automata Execution in a Synchronous Network of Processors"],"prefix":"10.1007","author":[{"given":"Alireza","family":"Farhadi","sequence":"first","affiliation":[]},{"given":"Mohammad","family":"Izadi","sequence":"additional","affiliation":[]},{"given":"Jafar","family":"Habibi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,31]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","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":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday","author":"F Arbab","year":"2011","unstructured":"Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. LNCS, vol. 7000, pp. 169\u2013206. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_9"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component connectors with QoS guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 286\u2013304. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72794-1_16"},{"key":"6_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking, vol. 950. The MIT press, Cambridge (2008)"},{"issue":"2","key":"6_CR5","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.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"unstructured":"Fowler, M., Lewis, J.: Microservices. ThoughtWorks (2014). http:\/\/martinfowler.com\/articles\/microservices.html . Accessed 7 Dec 2017","key":"6_CR7"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.scico.2015.09.001","volume":"115","author":"S-STQ Jongmans","year":"2016","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Global consensus through local synchronization: a formal basis for partially-distributed coordination. Sci. Comput. Program. 115, 199\u2013224 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"6_CR9","first-page":"201","volume":"22","author":"S-STQ Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S.T.Q., Clarke, D., Proen\u00e7a, J.: A procedure for splitting processes and its application to coordination. arXiv preprint arXiv:1209.1422 (2012)","key":"6_CR10","DOI":"10.4204\/EPTCS.91.6"},{"issue":"3\u20134","key":"6_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/s11761-015-0177-y","volume":"9","author":"S-STQ Jongmans","year":"2015","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Arbab, F.: Partially distributed coordination with Reo and constraint automata. Serv. Oriented Comput. Appl. 9(3\u20134), 311\u2013339 (2015)","journal-title":"Serv. Oriented Comput. Appl."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11761-013-0147-1","volume":"8","author":"S-STQ Jongmans","year":"2014","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv. Oriented Comput. Appl. 8(4), 277\u2013297 (2014)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"6_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-45364-9_15","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2013","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Global consensus through local synchronization. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 174\u2013188. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45364-9_15"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-16901-4_9","volume-title":"Formal Methods and Software Engineering","author":"N Kokash","year":"2010","unstructured":"Kokash, N., Changizi, B., Arbab, F.: A semantic model for service composition with coordination time delays. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 106\u2013121. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16901-4_9"},{"doi-asserted-by":"crossref","unstructured":"Kokash, N.: Handshaking protocol for distributed implementation of Reo. arXiv preprint arXiv:1504.03553 (2015)","key":"6_CR15","DOI":"10.4204\/EPTCS.175.1"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.entcs.2013.04.004","volume":"295","author":"N Kokash","year":"2013","unstructured":"Kokash, N., Jaghoori, M.M., Arbab, F.: From timed Reo networks to networks of timed automata. Electron. Notes Theor. Comput. Sci. 295, 11\u201329 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-540-89652-4_9","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"Z Maraikar","year":"2008","unstructured":"Maraikar, Z., Lazovik, A., Arbab, F.: Building mashups for the enterprise with SABRE. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 70\u201383. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89652-4_9"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/A:1008608810770","volume":"10","author":"P Muth","year":"1998","unstructured":"Muth, P., Wodtke, D., Weissenfels, J., Dittrich, A.K., Weikum, G.: From centralized workflow specification to distributed workflow execution. J. Intell. Inf. Syst. 10, 159\u2013184 (1998)","journal-title":"J. Intell. Inf. Syst."},{"unstructured":"Proen\u00e7a, J., et al.: Synchronous coordination of distributed components. Ph.D. thesis, Faculty of Science, Leiden University (2011)","key":"6_CR19"},{"doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1510\u20131515 (2012)","key":"6_CR20","DOI":"10.1145\/2245276.2232017"}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00359-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T02:59:57Z","timestamp":1571799597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00359-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003586","9783030003593"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00359-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}