{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:26Z","timestamp":1725889886571},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540706199"},{"type":"electronic","value":"9783540706212"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70621-2_8","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T05:46:52Z","timestamp":1216273612000},"page":"84-96","source":"Crossref","is-referenced-by-count":0,"title":["On State Classes and Their Dynamic Semantics"],"prefix":"10.1007","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":"Emanuele","family":"Cazzola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","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. Concurrency Computat.: Pract. Exper.\u00a012, 917\u2013980 (2000)","journal-title":"Concurrency Computat.: Pract. Exper."},{"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 2006 (2006), www.cs.ru.nl\/ftfjp\/","key":"8_CR2"},{"unstructured":"Birrel, A.D.: An introduction to programming with threads. Technical Report\u00a035, DEC SRC (1989)","key":"8_CR3"},{"key":"8_CR4","doi-asserted-by":"publisher","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 C $\\sharp$ . ACM TOPLAS\u00a026, 769\u2013804 (2004)","journal-title":"ACM TOPLAS"},{"key":"8_CR5","doi-asserted-by":"publisher","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\u00a023, 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"unstructured":"Parr, T.: project group: ANTLR Reference Manual, Version 2.7.5 (2005), http:\/\/www.antlr.org\/doc\/index.html","key":"8_CR6"},{"unstructured":"Parr, T.: StringTemplate Documentation, (2003-2005), http:\/\/www.stringtemplate.org\/doc\/doc.html","key":"8_CR7"},{"key":"8_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrency Computation in Distribuited Systems","author":"G.A. Agha","year":"1986","unstructured":"Agha, G.A.: ACTORS: A Model of Concurrency Computation in Distribuited Systems. MIT Press, Cambridge (1986)"},{"key":"8_CR9","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, Los Alamitos (1996)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/74877.74889","volume-title":"OOPSLA 1989","author":"C. Tomlinson","year":"1989","unstructured":"Tomlinson, C., Singh, V.: Inheritance and synchronization with enabled-sets. In: OOPSLA 1989, pp. 103\u2013112. ACM Press, New York (1989)"},{"doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular Types for Active Objects. In: OOPSLA 1993. ACM SIGPLAN Notices, vol.\u00a028, pp. 1\u201315 (1993)","key":"8_CR11","DOI":"10.1145\/165854.167976"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-44618-4_34","volume-title":"CONCUR 2000 - Concurrency Theory","author":"A. Ravara","year":"2000","unstructured":"Ravara, A., Vasconcelos, V.T.: Typing Non-uniform Concurrent Objects. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 474\u2013488. Springer, Heidelberg (2000)"},{"doi-asserted-by":"crossref","unstructured":"Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: On re-classification and multithreading. JOT,??3, 5???30 (2004), http:\/\/www.jot.fm;","key":"#cr-split#-8_CR13.1","DOI":"10.5381\/jot.2004.3.11.a1"},{"unstructured":"Special issue: OOPS track at SAC 2004","key":"#cr-split#-8_CR13.2"},{"unstructured":"Itzstein, G.S., Kearney, D.: Join Java: an alternative concurrency semantics for Java. Technical Report ACRC-01-001, Univ. of South Australia (2001)","key":"8_CR14"},{"key":"8_CR15","doi-asserted-by":"publisher","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. Concurrency Computat.: Pract. Exper.\u00a017, 539\u2013572 (2005)","journal-title":"Concurrency Computat.: Pract. Exper."},{"key":"8_CR16","doi-asserted-by":"publisher","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\u00a026, 578\u2013608 (2004)","journal-title":"TOPLAS"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70621-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T01:59:07Z","timestamp":1631498347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70621-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540706199","9783540706212"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70621-2_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[]}}