{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:39:17Z","timestamp":1742960357094,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319250427"},{"type":"electronic","value":"9783319250434"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25043-4_10","type":"book-chapter","created":{"date-parts":[[2017,4,26]],"date-time":"2017-04-26T15:00:59Z","timestamp":1493218859000},"page":"101-112","source":"Crossref","is-referenced-by-count":0,"title":["A Unifying Framework for Interactive Programming and Applications to\u00a0Communicating Peer-to-Peer Systems"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Popa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulia Teodora","family":"Banu-Demergian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camelia","family":"Chira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian Mircea","family":"Boian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gheorghe","family":"Stefanescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,21]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"3","key":"10_CR2","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":"10_CR3","unstructured":"Banu-Demergian, I.T.: The study of interaction in computing systems. Ph.D. thesis, University of Bucharest (2014)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/B978-044482830-9\/50020-5","volume-title":"Handbook of Process Algebra","author":"M Broy","year":"2001","unstructured":"Broy, M., Olderog, E.R.: Trace-oriented models of concurrency. In: Bergstra, J.A., et al. (eds.) Handbook of Process Algebra, pp. 101\u2013196. North-Holland, Amsterdam (2001)"},{"key":"10_CR5","unstructured":"Dragoi, C., Stefanescu, G.: Structured programming for interactive rv-systems. IMAR Preprint 9\/2006, Bucharest (2006)"},{"key":"10_CR6","first-page":"129","volume":"55","author":"C Dragoi","year":"2006","unstructured":"Dragoi, C., Stefanescu, G.: Implementation and verification of ring termination detection protocols using structured rv-programs. Ann. Univ. Bucharest Math. Inform. Ser. 55, 129\u2013138 (2006)","journal-title":"Ann. Univ. Bucharest Math. Inform. Ser."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Dragoi, C., Stefanescu, G.: AGAPIA v0.1: a programming language for interactive systems and its typing system. In: Proceedings of the FINCO 2007, ETAPS Workshop on the Foundations of Interactive Computation, Braga, Portugal. ENTCS Volume, pp. 61\u201376 (2007, in press)","DOI":"10.1016\/j.entcs.2008.04.087"},{"key":"10_CR8","unstructured":"Dragoi, C., Stefanescu, G.: AGAPIA v0.1: a programming language for interactive systems and its typing systems. In: Proceedings of the FINCO\/ETAPS 2007 (2007). ENTCS Vol. 203(3), 69\u201394 (2008)"},{"key":"10_CR9","unstructured":"Dragoi, C., Stefanescu, G.: On spatio-temporal logics for the verification of structured interactive programs with registers and voice. In: WADT 2008, 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13\u201316 June (2008)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Gadducci, F., Montanari, U.: The tile model. In: Proof, Language, and Interaction: Essays in Honor of Robin Milner, pp. 133\u2013168. MIT Press (1999)","DOI":"10.7551\/mitpress\/5641.003.0010"},{"volume-title":"Interactive Computation: The New Paradigm","year":"2006","key":"10_CR11","unstructured":"Goldin, D., Smolka, S., Wegner, P. (eds.): Interactive Computation: The New Paradigm. Springer, Heidelberg (2006)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-28583-7_6","volume-title":"Self-Organizing Systems","author":"H Kavalionak","year":"2012","unstructured":"Kavalionak, H., Montresor, A.: P2P and cloud: a marriage of convenience for replica management. In: Kuipers, F.A., Heegaard, P.E. (eds.) IWSOS 2012. LNCS, vol. 7166, pp. 60\u201371. Springer, Heidelberg (2012)"},{"key":"10_CR13","volume-title":"Communicating and Mobile Systems: The Pi Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J Misra","year":"2007","unstructured":"Misra, J., Cook, W.: Computation Orchestration. Softw. Syst. Model. 6(1), 83\u2013110 (2007)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"10_CR15","first-page":"1722","volume":"13","author":"A Popa","year":"2007","unstructured":"Popa, A., Sofronia, A., Stefanescu, G.: High-level structured interactive programs with registers and voices. J. Univ. Comput. Sci. 13(11), 1722\u20131754 (2007)","journal-title":"J. Univ. Comput. Sci."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Popa, A., Sofronia, A., Stefanescu, G.: Undecidability results for finite interactive systems. In: Proceedings of the SYNASC 2008, pp. 366\u2013369 (2008)","DOI":"10.1109\/SYNASC.2008.42"},{"key":"10_CR17","first-page":"285","volume":"73","author":"G Stefanescu","year":"2006","unstructured":"Stefanescu, G.: Interactive systems with registers and voices. Fundamenta Informaticae 73, 285\u2013306 (2006)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TNET.2002.808407","volume":"11","author":"I Stoica","year":"2003","unstructured":"Stoica, I., et al.: Chord: a scalable peer-to-peer lookup protocol for internet applications. IEEE\/ACM Trans. Netw. 11(1), 17\u201332 (2003)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and transitions. In: Proceedings of the POPL 2003, pp. 38\u201349 (2003)","DOI":"10.1145\/640128.604135"},{"key":"10_CR20","volume-title":"Lucid, the Dataflow Programming Language","author":"W Wadge","year":"1985","unstructured":"Wadge, W., Ashcroft, E.A.: Lucid, the Dataflow Programming Language. Academic Press, New York (1985)"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"P Wegner","year":"1998","unstructured":"Wegner, P.: Interactive foundations of computing. Theor. Comput. Sci. 192, 315\u2013351 (1998)","journal-title":"Theor. Comput. Sci."}],"container-title":["Communications in Computer and Information Science","Embracing Global Computing in Emerging Economies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25043-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T20:03:09Z","timestamp":1719172989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25043-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319250427","9783319250434"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25043-4_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}