{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:50:15Z","timestamp":1725832215112},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255262"},{"type":"electronic","value":"9783319255279"}],"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-25527-9_15","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T07:08:43Z","timestamp":1444201723000},"page":"219-237","source":"Crossref","is-referenced-by-count":0,"title":["Global Protocol Implementations via Attribute-Based Communication"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"Claudio Antares","family":"Mezzina","sequence":"additional","affiliation":[]},{"given":"Hugo Torres","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M.: On expressiveness and behavioural theory of attribute-based communication. Technical Report CSA #10, IMT Institute for Advanced Studies Lucca (2015)","key":"15_CR1","DOI":"10.1145\/2695664.2695668"},{"doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015, pp. 1840\u20131845. ACM (2015)","key":"15_CR2","DOI":"10.1145\/2695664.2695668"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, pp. 263\u2013274. ACM (2013)","key":"15_CR4","DOI":"10.1145\/2480359.2429101"},{"doi-asserted-by":"crossref","unstructured":"Castellani, I., Dezani-Ciancaglini, M., P\u00e9rez, J.A.: Self-adaptation and secure information flow in multiparty structured communications: a unified perspective. In: Proceedings Third Workshop on Behavioural Types, BEAT 2014. EPTCS, vol. 162, pp 9\u201318 (2014)","key":"15_CR5","DOI":"10.4204\/EPTCS.162.2"},{"doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, pp. 688\u2013696. IEEE Computer Society (2014)","key":"15_CR6","DOI":"10.1109\/PDP.2014.18"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-319-19282-6_5","volume-title":"Coordination Models and Languages","author":"MD Preda","year":"2015","unstructured":"Preda, M.D., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies. In: Holvoet, T., Viroli, M. (eds.) COORDINATION 2015. LNCS, vol. 9037, pp. 67\u201382. Springer, Heidelberg (2015)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-319-11245-9_9","volume-title":"Software Language Engineering","author":"MD Preda","year":"2014","unstructured":"Preda, M.D., Giallorenzo, S., Lanese, I., Mauro, J., Gabbrielli, M.: AIOCJ: a choreographic framework for safe adaptive distributed applications. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 161\u2013170. Springer, Heidelberg (2014)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R Nicola De","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Inf. 24(2), 211\u2013237 (1987)","journal-title":"Acta Inf."},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","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, pp. 273\u2013284. ACM (2008)","key":"15_CR11","DOI":"10.1145\/1328438.1328472"},{"doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, pp. 323\u2013332. IEEE Computer Society (2008)","key":"15_CR12","DOI":"10.1109\/SEFM.2008.11"},{"doi-asserted-by":"crossref","unstructured":"Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, pp. 221\u2013232. ACM (2015)","key":"15_CR13","DOI":"10.1145\/2775051.2676964"},{"unstructured":"Montesi, F.: Kickstarting choreographic programming. CoRR, abs\/1502.02519 (2015)","key":"15_CR14"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990 Theories of Concurrency: Unification and Extension","author":"RJ Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR \u201990 Theories of Concurrency: Unification and Extension. LNCS, vol. 458, pp. 278\u2013297. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:05:59Z","timestamp":1559261159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}