{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:24Z","timestamp":1762460244155,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,3,24]]},"DOI":"10.1145\/2554850.2555025","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"1247-1254","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantitative analysis of Reo-based service coordination"],"prefix":"10.1145","author":[{"given":"Nuno","family":"Oliveira","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Amsterdam, The Netherlands"}]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"F.\n       \n      Arbab\n    .\n      \n  \n   \n  Abstract behavior types: A foundation model for components and their composition. In F. S. de Boer M. M. Bonsangue S. Graf and W. de Roever editors Formal Methods for Components and Objects volume \n  2852\n   of \n  LNCS chapter 2 pages \n  33\n  --\n  70\n  . \n  Springer 2003\n  .  F. Arbab. Abstract behavior types: A foundation model for components and their composition. In F. S. de Boer M. M. Bonsangue S. Graf and W. de Roever editors Formal Methods for Components and Objects volume 2852 of LNCS chapter 2 pages 33--70. Springer 2003.","DOI":"10.1007\/978-3-540-39656-7_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03429-9_4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02053-7_14"},{"volume-title":"Proceedings of FACS 2008","year":"2008","author":"Arbab F.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"F.\n       \n      Arbab\n     and \n      \n      \n      F.\n       \n      Mavaddat\n      \n  \n  . \n  Coordination through channel composition. In F. Arbab and C. Talcott editors Coordination Models and Languages volume \n  2315\n   of \n  LNCS chapter 6 pages \n  275\n  --\n  297\n  . \n  Springer March \n  2002\n  .   F. Arbab and F. Mavaddat. Coordination through channel composition. In F. Arbab and C. Talcott editors Coordination Models and Languages volume 2315 of LNCS chapter 6 pages 275--297. Springer March 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.063"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02053-7_10"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.01.006"},{"key":"e_1_3_2_1_15_1","unstructured":"D. Costa. Formal Models for Component Connectors. PhD thesis Vrije University October 2010.  D. Costa. Formal Models for Component Connectors. PhD thesis Vrije University October 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"J. L.\n       \n      Fiadeiro\n     and \n      \n      \n      A.\n       \n      Lopes\n      \n  \n  . \n  CommUnity on the move: Architectures for distribution and mobility. In F. S. Boer M. M. Bonsangue S. Graf and W. Roever editors Formal Methods for Components and Objects volume \n  3188\n   of \n  LNCS pages \n  177\n  --\n  196\n  . \n  Springer 2004\n  .  J. L. Fiadeiro and A. Lopes. CommUnity on the move: Architectures for distribution and mobility. In F. S. Boer M. M. Bonsangue S. Graf and W. Roever editors Formal Methods for Components and Objects volume 3188 of LNCS pages 177--196. Springer 2004.","DOI":"10.1007\/978-3-540-30101-1_8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"C.\n       \n      Fournet\n     and \n      \n      \n      G.\n       \n      Gonthier\n      \n  \n  . \n  The join calculus: A language for distributed mobile programming. In G. Barthe P. Dybjer L. Pinto and J. Saraiva editors Applied Semantics volume \n  2395\n   of \n  LNCS pages \n  268\n  --\n  332\n  . \n  Springer 2002\n  .   C. Fournet and G. Gonthier. The join calculus: A language for distributed mobile programming. In G. Barthe P. Dybjer L. Pinto and J. Saraiva editors Applied Semantics volume 2395 of LNCS pages 268--332. Springer 2002.","DOI":"10.1007\/3-540-45699-6_6"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"CADP 2011: a toolbox for the construction and analysis of distributed processes. International Journal on STTT","author":"Garavel H.","year":"2012"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"H.\n       \n      Hermanns\n    .\n      \n  \n   \n  Interactive Markov Chains: The Quest for Quantified Quality volume \n  2428\n   of \n  LNCS\n  . \n  Springer 2002\n  .   H. Hermanns. Interactive Markov Chains: The Quest for Quantified Quality volume 2428 of LNCS. Springer 2002.","DOI":"10.1007\/3-540-45804-2_4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"H.\n       \n      Hermanns\n     and \n      \n      \n      J. P.\n       \n      Katoen\n      \n  \n  . \n  The how and why of Interactive Markov chains. In F. S. Boer M. M. Bonsangue S. Hallerstede and M. Leuschel editors Formal Methods for Components and Objects volume \n  6286\n   of \n  LNCS pages \n  311\n  --\n  337\n  . \n  Springer 2010\n  .   H. Hermanns and J. P. Katoen. The how and why of Interactive Markov chains. In F. S. Boer M. M. Bonsangue S. Hallerstede and M. Leuschel editors Formal Methods for Components and Objects volume 6286 of LNCS pages 311--337. Springer 2010.","DOI":"10.1007\/978-3-642-17071-3_16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.7561\/SACS.2012.1.201"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.19"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"M.\n       \n      Kwiatkowska G.\n       \n      Norman and \n      \n      \n      D.\n       \n      Parker\n      \n  \n  . \n  A framework for verification of software with time and probabilities. In K. Chatterjee and T. Henzinger editors Proceedings of FORMATS'10 volume \n  6246\n   of \n  LNCS pages \n  25\n  --\n  45\n  . \n  Springer 2010\n  .   M. Kwiatkowska G. Norman and D. Parker. A framework for verification of software with time and probabilities. In K. Chatterjee and T. Henzinger editors Proceedings of FORMATS'10 volume 6246 of LNCS pages 25--45. Springer 2010.","DOI":"10.1007\/978-3-642-15297-9_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.01.003"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      Milner\n    .\n      \n  \n   \n  A Calculus of Communicating Systems volume \n  92\n   of \n  LNCS\n  . \n  Springer 1980\n  .   R. Milner. A Calculus of Communicating Systems volume 92 of LNCS. Springer 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Software and Systems Modeling (SoSyM) 6(1): 83--110 March 2007.  J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Software and Systems Modeling (SoSyM) 6(1): 83--110 March 2007.","DOI":"10.1007\/s10270-006-0012-1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.30.7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.11.007"},{"key":"e_1_3_2_1_30_1","first-page":"457","volume-title":"Proceedings of FMOODS'99","volume":"139","author":"Nierstrasz O.","year":"1999"},{"key":"e_1_3_2_1_31_1","series-title":"LNCS","first-page":"134","volume-title":"M. H. ter Beek and N","author":"Oliveira N","year":"2013"},{"volume-title":"Faculty of Mathematics and Natural Sciences","year":"2007","author":"Scholten J. V. G.","key":"e_1_3_2_1_32_1"}],"event":{"name":"SAC 2014: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Gyeongju Republic of Korea","acronym":"SAC 2014"},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2555025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:03Z","timestamp":1750232103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2555025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":32,"alternative-id":["10.1145\/2554850.2555025","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2555025","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}