{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T14:10:23Z","timestamp":1738419023308,"version":"3.35.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2008,10,8]],"date-time":"2008-10-08T00:00:00Z","timestamp":1223424000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s00236-008-0079-y","type":"journal-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T05:56:51Z","timestamp":1223359011000},"page":"479-536","source":"Crossref","is-referenced-by-count":11,"title":["A type safe state abstraction for coordination in Java-like languages"],"prefix":"10.1007","volume":"45","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Giachino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,8]]},"reference":[{"key":"79_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrency Computation in Distributed Systems","author":"G.A. Agha","year":"1986","unstructured":"Agha G.A.: ACTORS: A Model of Concurrency Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"6","key":"79_CR2","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1002\/(SICI)1096-9128(199805)10:6<485::AID-CPE329>3.0.CO;2-2","volume":"10","author":"M. Ben-Ari","year":"1998","unstructured":"Ben-Ari M.: How to solve the Santa Claus problem. Concurr. Pract. Exper. 10(6), 485\u2013496 (1998)","journal-title":"Concurr. Pract. Exper."},{"key":"79_CR3","unstructured":"Benton, N.: Jingle Bells: solving the Santa Claus problem in polyphonic $${{\\rm C}_{\\sharp}}$$ . Note (2003). http:\/\/research.microsoft.com\/~nick\/santa.pdf"},{"issue":"5","key":"79_CR4","doi-asserted-by":"crossref","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 $${{\\rm C}_{\\sharp}}$$ . ACM TOPLAS 26(5), 769\u2013804 (2004)","journal-title":"ACM TOPLAS"},{"key":"79_CR5","unstructured":"Birrel, A.D.: An introduction to programming with threads. Tech. Rep. 35, DEC SRC (1989)"},{"issue":"3","key":"79_CR6","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy L., Cheon Y., Cok D.R., Ernst M.D., Kiniry J.R., Leavens G.T., Leino K.R.M., Poll E.: An overview of JML tools and applications. STTT 7(3), 212\u2013232 (2005)","journal-title":"STTT"},{"key":"79_CR7","unstructured":"Cameron, N., Damiani, F., Drossopoulou, S., Giachino, E., Giannini, P.: Solving the Santa Claus problem using state classes. Tech. rep., Dip. di inf., Univ. di Torino (2006). http:\/\/www.di.unito.it\/~damiani\/papers\/scp.pdf"},{"key":"79_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of types and effects. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA\u201902), pp. 292\u2013310. ACM Press, Seattle (2002)","DOI":"10.1145\/582419.582447"},{"key":"79_CR9","unstructured":"Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: On re-classification and multithreading. JOT ( http:\/\/www.jot.fm ) 3(11), 5\u201330 (2004). Special issue: OOPS track at SAC 2004"},{"key":"79_CR10","unstructured":"Damiani, F., Giachino, E., Giannini, P., Cameron, N., Drossopoulou, S.: A state abstraction for coordination in Java-like languages. In: Electronic proceedings of FTfJP\u201906 ( http:\/\/www.cs.ru.nl\/ftfjp\/ ) (2006)"},{"key":"79_CR11","unstructured":"Damiani, F., Giachino, E., Giannini, P., Cazzola, E.: On state classes and their dynamic semantics. In: ICSOFT\u201906 ( http:\/\/www.icsoft.org ), pp. 5\u201312. INSTICC press, Set\u00fabal, Portugal (2006)"},{"issue":"2","key":"79_CR12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/514952.514955","volume":"24","author":"S. Drossopoulou","year":"2002","unstructured":"Drossopoulou S., Damiani F., Dezani-Ciancaglini M., Giannini P.: More dynamic object re-classification: Fickleii. TOPLAS 24(2), 153\u2013191 (2002)","journal-title":"TOPLAS"},{"key":"79_CR13","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join calculus. In: POPL\u201996, pp. 372\u2013385. ACM (1996)","DOI":"10.1145\/237721.237805"},{"issue":"3","key":"79_CR14","doi-asserted-by":"crossref","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 23(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"79_CR15","unstructured":"Itzstein, G.S., Kearney, D.: Join Java: an alternative concurrency semantics for Java. Tech. Rep. ACRC-01-001, Univ. of South Australia (2001)"},{"key":"79_CR16","first-page":"221","volume-title":"Parallel Computers: Theory and Practice","author":"D.G. Kafura","year":"1996","unstructured":"Kafura D.G., Lavender R.G.: Concurrent object-oriented languages and the inheritance anomaly. In: Casavant, T., Tvrdil, P., Pl\u00e1sil, F. (eds) Parallel Computers: Theory and Practice, pp. 221\u2013264. IEEE Press, New York (1996)"},{"issue":"3","key":"79_CR17","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/982158.982162","volume":"26","author":"A.W. Keen","year":"2004","unstructured":"Keen A.W., Ge T., Maris J.T., Olsson R.A.: JR: Flexible distributed programming in an extended Java. TOPLAS 26(3), 578\u2013608 (2004)","journal-title":"TOPLAS"},{"issue":"5-6","key":"79_CR18","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/cpe.849","volume":"17","author":"G. Milicia","year":"2005","unstructured":"Milicia G., Sassone V.: Jeeg: temporal constraints for the synchronization of concurrent objects. Concurr. Computat. Pract. Exper. 17(5-6), 539\u2013572 (2005)","journal-title":"Concurr. Computat. Pract. Exper."},{"issue":"1","key":"79_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner R., Parrow J., Walker D.: A calculus of mobile processes, parts I and II. Inf. Comput. 100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"79_CR20","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: OOPSLA\u201993, ACM SIGPLAN Notices, vol. 28, pp. 1\u201315 (1993)","DOI":"10.1145\/167962.167976"},{"issue":"10","key":"79_CR21","doi-asserted-by":"crossref","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. Concurr. Computat. Pract. Exper. 12(10), 917\u2013980 (2000)","journal-title":"Concurr. Computat. Pract. Exper."},{"key":"79_CR22","doi-asserted-by":"crossref","unstructured":"Ravara, A., Vasconcelos, V.T.: Typing Non-uniform concurrent objects. In: CONCUR\u201900, LNCS, vol. 1877, pp. 474\u2013488. Springer, Berlin (2000)","DOI":"10.1007\/3-540-44618-4_34"},{"key":"79_CR23","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, E., Dwyer, M.B., Flanagan, C., Hatcliff, J., Leavens, G.T., Robby: Extending JML for modular specification and verification of multi-threaded programs. In: ECOOP, pp. 551\u2013576 (2005)","DOI":"10.1007\/11531142_24"},{"key":"79_CR24","doi-asserted-by":"crossref","unstructured":"Tomlinson, C., Singh, V.: Inheritance and synchronization with enabled-sets. In: OOPSLA\u201989, pp. 103\u2013112. ACM (1989)","DOI":"10.1145\/74877.74889"},{"issue":"3","key":"79_CR25","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/187387.187391","volume":"26","author":"J.A. Trono","year":"1994","unstructured":"Trono J.A.: A new exercise in concurrency. SIGCSE Bull. 26(3), 8\u201310 (1994)","journal-title":"SIGCSE Bull."},{"issue":"115","key":"79_CR26","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"1","author":"A. Wright","year":"1994","unstructured":"Wright A., Felleisen M.: A syntactic approach to type soundness. Inf. Comput. 1(115), 38\u201394 (1994)","journal-title":"Inf. Comput."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0079-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-008-0079-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-008-0079-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T13:30:45Z","timestamp":1738416645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-008-0079-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,8]]},"references-count":26,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["79"],"URL":"https:\/\/doi.org\/10.1007\/s00236-008-0079-y","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[2008,10,8]]}}}