{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:21:50Z","timestamp":1749921710384},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319519623"},{"type":"electronic","value":"9783319519630"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51963-0_38","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T01:17:39Z","timestamp":1484011059000},"page":"485-497","source":"Crossref","is-referenced-by-count":5,"title":["AErlang at Work"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"Tan","family":"Duong","sequence":"additional","affiliation":[]},{"given":"Omar","family":"Inverso","sequence":"additional","affiliation":[]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,11]]},"reference":[{"issue":"7","key":"38_CR1","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/2209249.2209268","volume":"55","author":"I Sommerville","year":"2012","unstructured":"Sommerville, I., Cliff, D., Calinescu, R., Keen, J., Kelly, T., Kwiatkowska, M., Mcdermid, J., Paige, R.: Large-scale complex it systems. Commun. ACM 55(7), 71\u201377 (2012)","journal-title":"Commun. ACM"},{"issue":"2","key":"38_CR2","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J Hughes","year":"1989","unstructured":"Hughes, J.: Why functional programming matters. Comput. J. 32(2), 98\u2013107 (1989)","journal-title":"Comput. J."},{"issue":"3","key":"38_CR3","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1093\/nsr\/nwv042","volume":"2","author":"Z Hu","year":"2015","unstructured":"Hu, Z., Hughes, J., Wang, M.: How functional programming mattered. Nat. Sci. Rev. 2(3), 349\u2013370 (2015)","journal-title":"Nat. Sci. Rev."},{"issue":"6","key":"38_CR4","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1016\/S0169-7552(98)00282-7","volume":"31","author":"S Blau","year":"1999","unstructured":"Blau, S., Rooth, J., Axell, J., Hellstrand, F., Buhrgard, M., Westin, T., Wicklund, G.: AXD 301: a new generation ATM switching system. Comput. Netw. 31(6), 559\u2013582 (1999)","journal-title":"Comput. Netw."},{"issue":"9","key":"38_CR5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"38_CR6","unstructured":"Thompson, S., Cesarini, F.: Erlang programming: a concurrent approach to software development (2009)"},{"key":"38_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-39570-8_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1\u201318. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39570-8_1"},{"key":"38_CR8","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: http:\/\/cs.gssi.infn.it\/files\/AErlang\/AErlang-Technical-Report.pdf"},{"issue":"1","key":"38_CR9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2307\/2312726","volume":"69","author":"D Gale","year":"1962","unstructured":"Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Mon. 69(1), 9\u201315 (1962)","journal-title":"Am. Math. Mon."},{"key":"38_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-319-47166-2_38","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., Nicola, R., Loreti, M.: Programming of CAS systems by relying on attribute-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 539\u2013553. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-47166-2_38"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Iwama, K., Miyazaki, S.: A survey of the stable marriage problem and its variants. In: Proceedings of the International Conference on Informatics Education and Research for Knowledge-Circulating Society (ICKS 2008), pp. 131\u2013136. IEEE Computer Society (2008)","DOI":"10.1109\/ICKS.2008.7"},{"issue":"1","key":"38_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:AGNT.0000009409.19387.f8","volume":"8","author":"S Aknine","year":"2004","unstructured":"Aknine, S., Pinson, S., Shakun, M.F.: An extended multi-agent negotiation protocol. Auton. Agents Multi-Agent Syst. 8(1), 5\u201345 (2004)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"2","key":"38_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"38_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-15585-7_5","volume-title":"Testing\u2013Practice and Research Techniques","author":"Q Guo","year":"2010","unstructured":"Guo, Q., Derrick, J., Benac Earle, C., Fredlund, L.\u00c5.: Model-checking Erlang \u2013 a comparison between EtomCRL2 and McErlang. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 23\u201338. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15585-7_5"},{"key":"38_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-642-38856-9_24","volume-title":"Static Analysis","author":"E D\u2019Osualdo","year":"2013","unstructured":"D\u2019Osualdo, E., Kochems, J., Ong, C.-H.L.: Automatic verification of Erlang-style concurrency. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 454\u2013476. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38856-9_24"},{"issue":"2\u20133","key":"38_CR16","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10009-003-0114-9","volume":"5","author":"T Arts","year":"2004","unstructured":"Arts, T., Earle, C.B., Derrick, J.: Development of a verified erlang program for resource locking. Int. J. Softw. Tools Technol. Transf. 5(2\u20133), 205\u2013220 (2004)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Fredlund, L., Svensson, H.: McErlang: a model checker for a distributed functional programming language. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), October 2007","DOI":"10.1145\/1291151.1291171"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2017: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51963-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:46:26Z","timestamp":1498362386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51963-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319519623","9783319519630"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51963-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}