{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:51:59Z","timestamp":1725987119669},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989372"},{"type":"electronic","value":"9783319989389"}],"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-98938-9_15","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T15:08:34Z","timestamp":1533740914000},"page":"255-274","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Facilitating the Implementation of\u00a0Distributed Systems with\u00a0Heterogeneous Interactions"],"prefix":"10.1007","author":[{"given":"Salwa","family":"Kobeissi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnan","family":"Utayim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamad","family":"Jaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Agarwal, D., Prasad, S.K.: AzureBOT: a framework for bag-of-tasks applications on the azure cloud platform. In: 2013 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Ph.D. Forum (2013). \nhttps:\/\/doi.org\/10.1109\/ipdpsw.2013.261","DOI":"10.1109\/ipdpsw.2013.261"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-63139-4_2","volume-title":"Logic-Based Program Synthesis and Transformation","author":"E Albert","year":"2017","unstructured":"Albert, E., Bezirgiannis, N., de Boer, F., Martin-Martin, E.: A formal, resource consumption-preserving translation of actors to Haskell. In: Hermenegildo, M., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 21\u201337. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63139-4_2"},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.06.002","volume":"241","author":"A Bejleri","year":"2009","unstructured":"Bejleri, A., Yoshida, N.: Synchronous multiparty session types. Electron. Notes Theor. Comput. Sci. 241, 3\u201333 (2009). \nhttps:\/\/doi.org\/10.1016\/j.entcs.2009.06.002","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"10","key":"15_CR5","doi-asserted-by":"publisher","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 - structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315\u20131330 (2008). \nhttps:\/\/doi.org\/10.1109\/TC.2008.26","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"15_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distrib. Comput. 25(5), 383\u2013409 (2012). \nhttps:\/\/doi.org\/10.1007\/s00446-012-0168-6","journal-title":"Distrib. Comput."},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10617-012-9091-0","volume":"17","author":"B Bonakdarpour","year":"2013","unstructured":"Bonakdarpour, B., Bozga, M., Quilbeuf, J.: Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. 17(2), 251\u2013276 (2013). \nhttps:\/\/doi.org\/10.1007\/s10617-012-9091-0","journal-title":"Des. Autom. Embed. Syst."},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-78663-4_17","volume-title":"Trustworthy Global Computing","author":"E Bonelli","year":"2008","unstructured":"Bonelli, E., Compagnoni, A.: Multipoint session types for a distributed calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 240\u2013256. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78663-4_17"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10009-016-0413-6","volume":"19","author":"Y Falcone","year":"2017","unstructured":"Falcone, Y., Jaber, M.: Fully automated runtime enforcement of component-based systems with formal and sound recovery. STTT 19(3), 341\u2013365 (2017). \nhttps:\/\/doi.org\/10.1007\/s10009-016-0413-6","journal-title":"STTT"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Jaber, M., Nguyen, T., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1), 173\u2013199 (2015). \nhttps:\/\/doi.org\/10.1007\/s10270-013-0323-y","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/s10009-016-0421-6","volume":"19","author":"Z Farah","year":"2017","unstructured":"Farah, Z., Ait-Ameur, Y., Ouederni, M., Tari, K.: A correct-by-construction model for asynchronously communicating systems. Int. J. Softw. Tools Technol. Transf. 19(4), 465\u2013485 (2017)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Gay, S.J., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z.: Modular session types for distributed object-oriented programming. In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, 17\u201323 January 2010, pp. 299\u2013312 (2010). \nhttps:\/\/doi.org\/10.1145\/1706299.1706335","DOI":"10.1145\/1706299.1706335"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1132863.1132867","volume":"31","author":"J Gray","year":"2006","unstructured":"Gray, J., Lamport, L.: Consensus on transaction commit. ACM Trans. Database Syst. 31(1), 133\u2013160 (2006). \nhttps:\/\/doi.org\/10.1145\/1132863.1132867","journal-title":"ACM Trans. Database Syst."},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-319-39519-7_13","volume-title":"Coordination Models and Languages","author":"L Henrio","year":"2016","unstructured":"Henrio, L., Rochas, J.: From modelling to systematic deployment of distributed active objects. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 208\u2013226. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-39519-7_13"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, USA, 7\u201312 January 2008, pp. 273\u2013284 (2008). \nhttps:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"Meiklejohn, C., Van Roy, P.: Lasp: a language for distributed, coordination-free programming. In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, pp. 184\u2013195. ACM, New York (2015). \nhttps:\/\/doi.org\/10.1145\/2790449.2790525","DOI":"10.1145\/2790449.2790525"},{"key":"15_CR17","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of software components using session types. Fundam. Inform. 73(4), 583\u2013598 (2006). \nhttp:\/\/iospress.metapress.com\/content\/82bf1qafeel5g8n4\/"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T15:14:45Z","timestamp":1533741285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}