{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:41Z","timestamp":1725549881177},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_13","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:54:31Z","timestamp":1127832871000},"page":"296-316","source":"Crossref","is-referenced-by-count":9,"title":["Observability, Connectivity, and Replay in a Sequential Calculus of Classes"],"prefix":"10.1007","author":[{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"first","affiliation":[]},{"given":"Marcello M.","family":"Bonsangue","sequence":"additional","affiliation":[]},{"given":"Frank S.","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Gr\u00fcner","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"\u00c1brah\u00e1m, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: Object connectivity and full abstraction for a concurrent calculus of classes. In: Li (ed.) [12], pp. 38\u201352","DOI":"10.1007\/978-3-540-31862-0_5"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Algorithmic game semantics: A tutorial introduction. In: Schichtenberg, Steinbruggen (eds.) [16], pp. 21\u201347","DOI":"10.1007\/978-94-010-0413-8_2"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Components and Objects","year":"2005","unstructured":"Bosangue, M., de Boer, F.S., de Roever, W.-P., Graf, S. (eds.): FMCO 2004. LNCS, vol.\u00a03657. Springer, Heidelberg (2005)"},{"key":"13_CR5","unstructured":"de Boer, F.S., Bonsangue, M., Steffen, M., \u00c1brah\u00e1m, E.: A fully abstract trace semantics for UML components. In: Bosangue, et al. (eds.) [4] (to appear)"},{"key":"13_CR6","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: Reduction and typing. In: Nestmann, Pierce (eds.) [13]"},{"key":"13_CR7","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"13_CR8","unstructured":"IEEE. Thirteenth Annual Symposium on Logic in Computer Science (LICS) (Indiana). Computer Society Press (July 1998)"},{"key":"13_CR9","unstructured":"IEEE. Seventeenth Annual Symposium on Logic in Computer Science (LICS), Copenhagen, Denmark, July 2002. Computer Society Press (2002)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. In: LICS 2002 [9] (2002)","DOI":"10.1109\/LICS.2002.1029820"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: Java Jr.: A fully abstract trace semantics for a core Java language. In: Sagiv [15], pp. 423\u2013438","DOI":"10.1007\/978-3-540-31987-0_29"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","year":"2005","unstructured":"Li, Z. (ed.): ICTAC 2004. LNCS, vol.\u00a03407. Springer, Heidelberg (2005)"},{"key":"13_CR13","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"HLCL 1998: High-Level Concurrent Languages","year":"1998","unstructured":"Nestmann, U., Pierce, B.C. (eds.): HLCL 1998: High-Level Concurrent Languages, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science, vol.\u00a016(3). Elsevier Science Publishers, Amsterdam (1998)"},{"key":"13_CR14","unstructured":"Rathke, J.: A fully abstract trace semantics for a core Java language (preliminary title). In: Bosangue, et al. (eds.) [4] (to appear)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","year":"2005","unstructured":"Sagiv, M. (ed.): ESOP 2005. LNCS, vol.\u00a03444. Springer, Heidelberg (2005)"},{"key":"13_CR16","series-title":"Series F: Computer and System Sciences","volume-title":"Proof and System Reliability, Summer School","year":"2001","unstructured":"Schichtenberg, H., Steinbruggen, R. (eds.): Proof and System Reliability, Summer School, Marktoberdorf, Germany, NATO Advanced Study Institute. Series F: Computer and System Sciences. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"13_CR17","unstructured":"Smith, G.P.: An Object-Oriented Approach to Formal Specification. PhD thesis, Department of Computer Science, University of Queensland (October 1992)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Viswanathan, R.: Full abstraction for first-order objects with recursive types and subtyping. In: LICS 1998 [8] (1998)","DOI":"10.1109\/LICS.1998.705673"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561163_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T23:14:31Z","timestamp":1586474071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11561163_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}