{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:47:11Z","timestamp":1743079631881,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"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-21461-5_11","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:25:36Z","timestamp":1307697936000},"page":"168-182","source":"Crossref","is-referenced-by-count":10,"title":["Analysis of Deadlocks in Object Groups"],"prefix":"10.1007","author":[{"given":"Elena","family":"Giachino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: Static race detection for java. ACM Trans. Program. Lang. Syst.\u00a028 (2006)","DOI":"10.1145\/1119479.1119480"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM\u00a031, 560\u2013599 (1984)","journal-title":"J. ACM"},{"issue":"9","key":"11_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/162685.162711","volume":"36","author":"D. Caromel","year":"1993","unstructured":"Caromel, D.: Towards a method of object-oriented concurrent programming. Commun. ACM\u00a036(9), 90\u2013102 (1993)","journal-title":"Commun. ACM"},{"key":"11_CR4","first-page":"123","volume-title":"Proc. POPL 2004","author":"D. Caromel","year":"2004","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. In: Proc. POPL 2004, pp. 123\u2013134. ACM Press, New York (2004)"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/565816.503278","volume":"37","author":"S. Chaki","year":"2002","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. SIGPLAN Not.\u00a037(1), 45\u201357 (2002)","journal-title":"SIGPLAN Not."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F. Boer de","year":"2007","unstructured":"de Boer, F., Clarke, D., Johnsen, E.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/4434.824312","volume":"8","author":"P. Felber","year":"2000","unstructured":"Felber, P., Guerraoui, R.: Programming with object groups in corba. IEEE Concurrency\u00a08, 48\u201358 (2000)","journal-title":"IEEE Concurrency"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-45910-3_16","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"Y. Honda","year":"1988","unstructured":"Honda, Y., Yonezawa, A.: Debugging concurrent systems based on object groups. In: Gjessing, S., Chepoi, V. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 267\u2013282. Springer, Heidelberg (1988)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst.\u00a023, 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10270-006-0011-2","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Software and System Modeling\u00a06(1), 39\u201358 (2007)","journal-title":"Software and System Modeling"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11817949_16","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"N. Kobayashi","year":"2006","unstructured":"Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 233\u2013247. Springer, Heidelberg (2006)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-74407-8_15","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"C. Laneve","year":"2007","unstructured":"Laneve, C., Padovani, L.: The must preorder revisited. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 212\u2013225. Springer, Heidelberg (2007)"},{"key":"11_CR13","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1982)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. and Comput.\u00a0100, 41\u201377 (1992)","journal-title":"Inf. and Comput."},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11419822_1","volume-title":"Formal Methods for Mobile Computing","author":"U. Montanari","year":"2005","unstructured":"Montanari, U., Pistore, M.: History-dependent automata: An introduction. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 1\u201328. Springer, Heidelberg (2005)"},{"key":"11_CR16","first-page":"84","volume-title":"Proc. POPL 1994","author":"H.R. Nielson","year":"1994","unstructured":"Nielson, H.R., Nielson, F.: Higher-order concurrent programs with finite communication topology. In: Proc. POPL 1994, pp. 84\u201397. ACM Press, New York (1994)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Active objects in Hybrid. In: Proc. OOPSLA 1987, pp. 243\u2013253 (1987)","DOI":"10.1145\/38765.38829"},{"key":"11_CR18","unstructured":"Parastatidis, S., Webber, J.: MEP SSDL Protocol Framework (April 2005), http:\/\/ssdl.org"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Vasconcelos, V.T., Martins, F., Cogumbreiro, T.: Type inference for deadlock detection in a multithreaded polymorphic typed assembly language. In: Proc. PLACES 2009. EPTCS, vol.\u00a017, pp. 95\u2013109 (2009)","DOI":"10.4204\/EPTCS.17.8"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: Proc. OOPSLA 1986, pp. 258\u2013268 (1986)","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:20:08Z","timestamp":1560255608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}