{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:42Z","timestamp":1740098922555,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"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-66845-1_13","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"195-210","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of Synchronisations in Stateful Active Objects"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Mastandrea","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jlamp.2017.02.003","volume":"89","author":"R Ameur-Boulifa","year":"2017","unstructured":"Ameur-Boulifa, R., Henrio, L., Kulankhina, O., Madelaine, E., Savu, A.: Behavioural semantics for asynchronous components. J. Logical Algebr. Methods Program. 89, 1\u201340 (2017)","journal-title":"J. Logical Algebr. Methods Program."},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-35861-6_7","volume-title":"Formal Aspects of Component Software","author":"FS Boer","year":"2013","unstructured":"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. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 110\u2013127. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35861-6_7"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: Proceedings of the OOPSLA 2002 (2002)","DOI":"10.1145\/582419.582440"},{"issue":"4","key":"13_CR4","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/j.ic.2008.12.004","volume":"207","author":"D Caromel","year":"2009","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous sequential processes. Inf. Comput. 207(4), 459\u2013495 (2009)","journal-title":"Inf. Comput."},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-38592-6_19","volume-title":"Formal Techniques for Distributed Systems","author":"AE Flores-Montoya","year":"2013","unstructured":"Flores-Montoya, A.E., Albert, E., Genaim, S.: May-happen-in-parallel based deadlock analysis for concurrent objects. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE 2013. LNCS, vol. 7892, pp. 273\u2013288. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38592-6_19"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Giachino, E., Henrio, L., Laneve, C., Mastandrea, V.: Actors may synchronize, safely! In: Proceedings of PPDP 2016. ACM (2016)","DOI":"10.1145\/2967973.2968599"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-662-44584-6_6","volume-title":"CONCUR 2014 \u2013 Concurrency Theory","author":"E Giachino","year":"2014","unstructured":"Giachino, E., Kobayashi, N., Laneve, C.: Deadlock analysis of unbounded process networks. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014. LNCS, vol. 8704, pp. 63\u201377. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-44584-6_6"},{"issue":"4","key":"13_CR8","doi-asserted-by":"crossref","first-page":"1013","DOI":"10.1007\/s10270-014-0444-y","volume":"15","author":"E Giachino","year":"2016","unstructured":"Giachino, E., Laneve, C., Lienhardt, M.: A framework for deadlock detection in core ABS. Softw. Syst. Model. 15(4), 1013\u20131048 (2016)","journal-title":"Softw. Syst. Model."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Gkolfi, A., Din, C.C., Johnsen, E.B., Steffen, M., Yu, I.C.: Translating active objects into colored petri nets for communication analysis. In: Proceedings of the FSEN 2017. LNCS. Springer (2017)","DOI":"10.1007\/978-3-319-68972-2_6"},{"issue":"2\u20133","key":"13_CR10","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 410(2\u20133), 202\u2013220 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR11","unstructured":"Henrio, L., Laneve, C., Mastandrea, V.: Analysis of synchronisation patterns in stateful active objects. Research report, I3S; Inria - Sophia antipolis (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01542595"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-25271-6_8"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.ic.2016.03.004","volume":"252","author":"N Kobayashi","year":"2017","unstructured":"Kobayashi, N., Laneve, C.: Deadlock analysis of unbounded process networks. Inf. Comput. 252, 48\u201370 (2017)","journal-title":"Inf. Comput."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: Proceedings of POPL 1988, pp. 47\u201357. ACM Press (1988)","DOI":"10.1145\/73560.73564"},{"key":"13_CR15","volume-title":"The Symbian OS Architecture Sourcebook: Design and Evolution of a Mobile Phone OS","author":"B Morris","year":"2007","unstructured":"Morris, B.: The Symbian OS Architecture Sourcebook: Design and Evolution of a Mobile Phone OS. Wiley, Hoboken (2007)"},{"issue":"3","key":"13_CR16","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/j.tcs.2006.08.016","volume":"364","author":"J Niehren","year":"2006","unstructured":"Niehren, J., Schwinghammer, J., Smolka, G.: A concurrent lambda calculus with futures. Theoret. Comput. Sci. 364(3), 338\u2013356 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-74792-5_5","volume-title":"Formal Methods for Components and Objects","author":"M Sirjani","year":"2007","unstructured":"Sirjani, M.: Rebeca: theory, applications, and tools. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 102\u2013126. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74792-5_5"},{"key":"13_CR18","unstructured":"Wyatt, D.: Akka Concurrency. Artima (2013)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T16:51:46Z","timestamp":1570035106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}