{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:44Z","timestamp":1742913524530,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642201158"},{"type":"electronic","value":"9783642201165"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20116-5_10","type":"book-chapter","created":{"date-parts":[[2011,3,30]],"date-time":"2011-03-30T01:10:57Z","timestamp":1301447457000},"page":"124-136","source":"Crossref","is-referenced-by-count":3,"title":["A Calculus of Agents and Artifacts"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","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)"},{"volume-title":"Research rections in concurrent object-oriented programming","year":"1993","key":"10_CR2","unstructured":"Agha, G., Wegner, P., Yonezawa, A. (eds.): Research rections in concurrent object-oriented programming. MIT Press, Cambridge (1993)"},{"issue":"5","key":"10_CR3","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst.\u00a026(5), 769\u2013804 (2004)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/292469.292470","volume":"30","author":"J.-P. Briot","year":"1998","unstructured":"Briot, J.-P., Guerraoui, R., Lohr, K.-P.: Concurrency and distribution in object-oriented programming. ACM Comput. Surv.\u00a030(3), 291\u2013329 (1998)","journal-title":"ACM Comput. Surv."},{"issue":"7-8","key":"10_CR5","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s00236-008-0079-y","volume":"45","author":"F. Damiani","year":"2008","unstructured":"Damiani, F., Giachino, E., Giannini, P., Drossopoulou, S.: A type safe state abstraction for coordination in java-like languages. Acta Inf.\u00a045(7-8), 479\u2013536 (2008)","journal-title":"Acta Inf."},{"key":"10_CR6","first-page":"372","volume-title":"POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join calculus. In: POPL 1996, pp. 372\u2013385. ACM, New York (1996)"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"10_CR8","unstructured":"Itzstein, G.S., Kearney, D.: Join Java: an alternative concurrency semantics for Java. Technical Report ACRC-01-001, Univ. of South Australia (2001)"},{"key":"10_CR9","first-page":"483","volume-title":"Pattern languages of program design","author":"R. Greg Lavender","year":"1996","unstructured":"Greg Lavender, R., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. In: Pattern languages of program design, vol.\u00a02, pp. 483\u2013499. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems, 19 (2009); Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems","DOI":"10.1007\/s10458-008-9053-x"},{"issue":"10","key":"10_CR11","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1002\/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F","volume":"12","author":"M. Philippsen","year":"2000","unstructured":"Philippsen, M.: A Survey of Concurrent Object-Oriented Languages. Concurrency Computat.: Pract. Exper.\u00a012(10), 917\u2013980 (2000)","journal-title":"Concurrency Computat.: Pract. Exper."},{"key":"10_CR12","first-page":"185","volume-title":"PPPJ 2007","author":"A. Ricci","year":"2007","unstructured":"Ricci, A., Viroli, M.: SIMPA: An agent-oriented approach for prototyping concurrent applications on top of java. In: PPPJ 2007, pp. 185\u2013194. ACM, New York (2007)"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2008.03.102","volume":"194","author":"A. Ricci","year":"2008","unstructured":"Ricci, A., Viroli, M., Cimadamore, M.: Prototyping concurrent systems with agents and artifacts: Framework and core calculus. Electron. Notes Theor. Comput. Sci.\u00a0194(4), 111\u2013132 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ricci, A., Viroli, M., Piancastelli, G.: SIMPA: An agent-oriented approach for programming concurrent applications on top of java. Science of Computer Programming (2010), doi:10.1016\/j.scico.2010.06.012","DOI":"10.1016\/j.scico.2010.06.012"},{"issue":"7","key":"10_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1095408.1095421","volume":"3","author":"H. Sutter","year":"2005","unstructured":"Sutter, H., Larus, J.: Software and the concurrency revolution. ACM Queue: Tomorrow\u2019s Computing Today\u00a03(7), 54\u201362 (2005)","journal-title":"ACM Queue: Tomorrow\u2019s Computing Today"},{"volume-title":"Object-oriented concurrent programming","year":"1986","key":"10_CR16","unstructured":"Yonezawa, A., Tokoro, M. (eds.): Object-oriented concurrent programming. MIT Press, Cambridge (1986)"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20116-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,17]],"date-time":"2020-06-17T18:34:23Z","timestamp":1592418863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20116-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642201158","9783642201165"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20116-5_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}