{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:04:10Z","timestamp":1725455050875},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386121"},{"type":"electronic","value":"9783642386138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38613-8_20","type":"book-chapter","created":{"date-parts":[[2013,5,12]],"date-time":"2013-05-12T22:45:19Z","timestamp":1368398719000},"page":"285-300","source":"Crossref","is-referenced-by-count":3,"title":["Quantified Abstractions of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Correas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo","family":"Rom\u00e1n-D\u00edez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-25318-8_19","volume-title":"Programming Languages and Systems","author":"E. Albert","year":"2011","unstructured":"Albert, E., Arenas, P., Genaim, S., G\u00f3mez-Zamalloa, M., Puebla, G.: Cost Analysis of Concurrent OO Programs. In: Yang, H. (ed.) APLAS 2011. LNCS, vol.\u00a07078, pp. 238\u2013254. Springer, Heidelberg (2011)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Arenas, P., Genaim, S., G\u00f3mez-Zamalloa, M., Puebla, G.: COSTABS: A Cost and Termination Analyzer for ABS. In: Procs. of PEPM 2012, pp. 151\u2013154. ACM Press (2012)","DOI":"10.1145\/2103746.2103774"},{"key":"20_CR3","unstructured":"Albert, E., Arenas, P., Correas, J., G\u00f3mez-Zamalloa, M., Genaim, S., Puebla, G., Rom\u00e1n-D\u00edez, G.: Object-sensitive cost analysis for concurrect objects. Technical Report (2012), \n                      \n                        http:\/\/costa.ls.fi.upm.es\/papers\/costa\/AlbertACGGPRtr.pdf"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"America, P.: Issues in the design of a parallel object-oriented language. Formal Aspects of Computing\u00a01, 366\u2013411 (1989)","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"20_CR5","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R. Buyya","year":"2009","unstructured":"Buyya, R., Yeo, C.S., Venugopal, S., Broberg, J., Brandic, I.: Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems\u00a025(6), 599\u2013616 (2009)","journal-title":"Future Generation Computer Systems"},{"issue":"9","key":"20_CR6","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. Communications of the ACM\u00a036(9), 90\u2013102 (1993)","journal-title":"Communications of the ACM"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic Discovery of Linear Restraints Among Variables of a Program. In: POPL, ACM Press (1978)","DOI":"10.1145\/512760.512770"},{"issue":"2","key":"20_CR8","first-page":"1","volume":"39","author":"J. Feret","year":"2001","unstructured":"Feret, J.: Occurrence counting analysis for the pi-calculus. ENTCS\u00a039(2), 1\u201318 (2001)","journal-title":"ENTCS"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11575467_25","volume-title":"Programming Languages and Systems","author":"R. Gori","year":"2005","unstructured":"Gori, R., Levi, F.: A new occurrence counting analysis for bioambients. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, pp. 381\u2013400. Springer, Heidelberg (2005)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"FMCO 2010","author":"E.B. 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., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for java. ACM Trans. Softw. Eng. Methodol.\u00a014, 1\u201341 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"20_CR12","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":"20_CR13","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Bravenboer, M., Lhot\u00e1k, O.: Pick your contexts well: understanding object-sensitivity. In: Procs. of POPL 2011, pp. 17\u201330. ACM (2011)","DOI":"10.1145\/1925844.1926390"},{"key":"20_CR14","first-page":"258","volume-title":"Procs. of OOPLSA 1986","author":"A. Yonezawa","year":"1986","unstructured":"Yonezawa, A., Briot, J.P., Shibayama, E.: Object-oriented concurrent programming ABCL\/1. In: Procs. of OOPLSA 1986, pp. 258\u2013268. ACM, USA (1986)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38613-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:57:53Z","timestamp":1557694673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38613-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386121","9783642386138"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38613-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}