{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:16:01Z","timestamp":1725898561013},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358609"},{"type":"electronic","value":"9783642358616"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_7","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T03:44:50Z","timestamp":1357875890000},"page":"110-127","source":"Crossref","is-referenced-by-count":11,"title":["A Petri Net Based Analysis of Deadlocks for Active Objects and Futures"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[]},{"given":"Immo","family":"Grabe","sequence":"additional","affiliation":[]},{"given":"Matias","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer (1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"7","key":"7_CR2","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.jlap.2009.01.001","volume":"78","author":"E. \u00c1brah\u00e1m","year":"2009","unstructured":"\u00c1brah\u00e1m, E., Grabe, I., Gr\u00fcner, A., Steffen, M.: Behavioral interface description of an object-oriented language with futures and promises. Journal of Logic and Algebraic Programming\u00a078(7), 491\u2013518 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"9","key":"7_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J. Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Communications of ACM\u00a053(9), 68\u201375 (2010)","journal-title":"Communications of ACM"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1017\/S0960129509990181","volume":"19","author":"N. Busi","year":"2009","unstructured":"Busi, N., Zavattaro, G.: Deciding reachability problems in turing-complete fragments of mobile ambients. Mathematical Structures in Computer Science\u00a019(6), 1223\u20131263 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/982962.964012","volume":"39","author":"D. Caromel","year":"2004","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. SIGPLAN Not.\u00a039(1), 123\u2013134 (2004)","journal-title":"SIGPLAN Not."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Bravetti, M., Grabe, I., Lee, M., Steffen, M., Zavattaro, G.: A petri net based analysis of deadlocks for active objects and futures, extended version (2012), \n                  \n                    http:\/\/cs.famaf.unc.edu.ar\/~lee\/publications\/facs12_complete.pdf","DOI":"10.1007\/978-3-642-35861-6_7"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. In: Genuys, F. (ed.) Programming Languages: NATO Advanced Study Institute, pp. 43\u2013112. Academic Press (1968)","DOI":"10.1007\/978-1-4757-3472-0_2"},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"J. Edward","year":"1971","unstructured":"Edward, J., Coffman, G., Elphick, M.J., Shoshani, A.: System deadlocks. ACM Computing Surveys\u00a03(2), 67\u201378 (1971)","journal-title":"ACM Computing Surveys"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-21461-5_11","volume-title":"Formal Techniques for Distributed Systems","author":"E. Giachino","year":"2011","unstructured":"Giachino, E., Laneve, C.: Analysis of Deadlocks in Object Groups. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 168\u2013182. Springer, Heidelberg (2011)"},{"key":"7_CR10","unstructured":"Giachino, E., Laneve, C., Lascu, T.: Deadlock and livelock analysis in concurrent objects with futures. Technical report, University of Bologna (December 2011), \n                  \n                    http:\/\/www.cs.unibo.it\/~laneve\/publications.html"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Nestmann, U., Pierce, B.C. (eds.) Proceedings of HLCL 1998. Electronic Notes in Theoretical Computer Science, vol.\u00a016.3, Elsevier Science Publishers (1998)","DOI":"10.1016\/S1571-0661(04)00145-8"},{"key":"7_CR12","unstructured":"Smith, S.F., Agha, G.A., Mason, I.A., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming (1997)"},{"issue":"2-3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science\u00a0410(2-3), 202\u2013220 (2009)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"R.C. Holt","year":"1972","unstructured":"Holt, R.C.: Some deadlock properties of computer systems. ACM Computing Surveys\u00a04(3), 179\u2013196 (1972)","journal-title":"ACM Computing Surveys"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Owe, O.: An Asynchronous Communication Model for Distributed Concurrent Objects. Software and Systems Modeling (2007)","DOI":"10.1007\/s10270-006-0011-2"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T11:58:19Z","timestamp":1557489499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}