{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:46Z","timestamp":1761597046262},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,10,3]],"date-time":"2007-10-03T00:00:00Z","timestamp":1191369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s00224-007-9047-0","type":"journal-article","created":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T15:54:52Z","timestamp":1191340492000},"page":"322-361","source":"Crossref","is-referenced-by-count":3,"title":["Abstract Interface Behavior of Object-Oriented Languages with Monitors"],"prefix":"10.1007","volume":"43","author":[{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Gr\u00fcner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,10,3]]},"reference":[{"key":"9047_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, New York (1996)"},{"key":"9047_CR2","series-title":"Lecture Notes in Computer Science","first-page":"37","volume-title":"ICTAC\u201904","author":"E. \u00c1brah\u00e1m","year":"2004","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, Z., Araki, K. (eds.) ICTAC\u201904. Lecture Notes in Computer Science, vol. 3407, pp. 37\u201351. Springer, New York (2004)"},{"key":"9047_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/11561163_13","volume-title":"Proceedings of the Third International Symposium on Formal Methods for Components and Objects (FMCO 2004)","author":"E. \u00c1brah\u00e1m","year":"2005","unstructured":"\u00c1brah\u00e1m, E., de Boer, F.S., Bonsangue, M.M., Gr\u00fcner, A., Steffen, M.: Observability, connectivity, and replay in a sequential calculus of classes. In: Bonsangue, M., de Boer, F.S., de Roever, W.-P., Graf, S. (eds.) Proceedings of the Third International Symposium on Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, vol. 3657, pp. 296\u2013316. Springer, New York (2005)"},{"key":"9047_CR4","unstructured":"\u00c1brah\u00e1m, E., Gr\u00fcner, A., Steffen, M.: Dynamic heap-abstraction for open, object-oriented systems with thread classes. SoSYM J. (2007, accepted). This is a reworked version of the Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t zu Kiel technical report nr. 0601 and an extended version of the CiE\u201906 extended abstract"},{"issue":"4","key":"9047_CR5","doi-asserted-by":"crossref","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 Comput. 1(4), 366\u2013411 (1989)","journal-title":"Formal Aspects Comput."},{"key":"9047_CR6","volume-title":"Operating System Principles","author":"P. Brinch Hansen","year":"1973","unstructured":"Brinch Hansen, P.: Operating System Principles. Prentice-Hall, Englewood Cliffs (1973)"},{"key":"9047_CR7","doi-asserted-by":"crossref","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: de Nicola, R. (ed.) Proceedings of Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Vienna, Austria. Lecture Notes in Computer Science, vol. 4421, pp. 316\u2013330 (2007)","DOI":"10.1007\/978-3-540-71316-6_22"},{"key":"9047_CR8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"de Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"9047_CR9","unstructured":"ECMA International Standardizing Information and Communication Systems: C# Language Specification, 2nd edn. (Dec. 2002). Standard ECMA-334"},{"key":"9047_CR10","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of HLCL \u201998","author":"A.D. Gordon","year":"1998","unstructured":"Gordon, A.D., Hankin, P.D.: A concurrent object calculus: reduction and typing. In: Nestmann, U., Pierce, B.C. (eds.) Proceedings of HLCL \u201998. Electronic Notes in Theoretical Computer Science, vol. 16.3. Elsevier, Amsterdam (1998)"},{"key":"9047_CR11","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"issue":"10","key":"9047_CR12","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: an operating system structuring concept. Commun. ACM 17(10), 549\u2013557 (1974)","journal-title":"Commun. ACM"},{"key":"9047_CR13","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. In: Proceedings of LICS \u201902. IEEE Computer Society Press (July 2002)","DOI":"10.1109\/LICS.2002.1029820"},{"key":"9047_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-540-31987-0_29","volume-title":"Proceedings of ESOP 2005","author":"A. Jeffrey","year":"2005","unstructured":"Jeffrey, A., Rathke, J.: Java Jr.: a fully abstract trace semantics for a core Java language. In: Sagiv, M. (ed.) Proceedings of ESOP 2005. Lecture Notes in Computer Science, vol. 3444, pp. 423\u2013438. Springer, New York (2005)"},{"key":"9047_CR15","doi-asserted-by":"crossref","unstructured":"Koutavas, V., Wand, M.: Bisimulations for untyped imperative objects. In: Sestoft, P. (ed.) Proceedings of Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2005, Vienna, Austria. Lecture Notes in Computer Science, vol.\u00a03924, pp. 146\u2013161. Springer (2005)","DOI":"10.1007\/11693024_11"},{"key":"9047_CR16","doi-asserted-by":"crossref","unstructured":"Koutavas, V., Wand, M.: Small bisimulations for reasoning about higher-order imperative programs. In: Proceedings of POPL \u201906, pp. 141\u2013152. ACM (Jan. 2006)","DOI":"10.1145\/1111037.1111050"},{"key":"9047_CR17","unstructured":"Koutavas, V., Wand, M.: Reasoning about class behavior. In: Informal Workshop Record of FOOL 2007 (Jan. 2007)"},{"key":"9047_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"Milner, R.: Fully abstract models of typed \u03bb-calculi. Theor. Comput. Sci. 4, 1\u201322 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"9047_CR19","unstructured":"Morris, J.H.: Lambda calculus models of programming languages. Ph.D. thesis, MIT (1968)"},{"issue":"1","key":"9047_CR20","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics of communicating processes. Acta Inf. 23(1), 9\u201366 (1986). A preliminary version appeared under the same title in the proceedings of the 10th ICALP 1983, volume 154 of LNCS","journal-title":"Acta Inf."},{"key":"9047_CR21","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: LCF considered as a programming language. Theor. Comput. Sci. 5, 223\u2013255 (1977)","journal-title":"Theor. Comput. Sci."},{"key":"9047_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"FMOODS \u201907","author":"A. Poetzsch-Heffter","year":"2007","unstructured":"Poetzsch-Heffter, A., Sch\u00e4fer, J.: A representation-independent behavioral semantics for object-oriented components. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS \u201907. Lecture Notes in Computer Science, vol. 4468. Springer, New York (2007)"},{"key":"9047_CR23","series-title":"Series in Computer Science","volume-title":"An Introduction to Formal Specification and Z","author":"B.F. Potter","year":"1990","unstructured":"Potter, B.F., Sinclair, J.E., Till, D.: An Introduction to Formal Specification and Z. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"9047_CR24","unstructured":"Smith, G.P.: An object-oriented approach to formal specification. Ph.D. thesis, Department of Computer Science, University of Queensland (Oct. 1992)"},{"key":"9047_CR25","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"9047_CR26","unstructured":"Steffen, M.: Object-connectivity and observability for class-based, object-oriented languages. Habilitation thesis, Technische Faktult\u00e4t der Christian-Albrechts-Universit\u00e4t zu Kiel (2006), submitted 4th July, accepted 7 February 2007"},{"key":"9047_CR27","unstructured":"The Creol language. http:www.ifi.uio.no\/~creol (2007)"},{"key":"9047_CR28","unstructured":"Viswanathan, R.: Full abstraction for first-order objects with recursive types and subtyping. In: Proceedings of LICS \u201998. IEEE Computer Society Press (July 1998)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9047-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-007-9047-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9047-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T11:51:34Z","timestamp":1558698694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-007-9047-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,3]]},"references-count":28,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9047"],"URL":"https:\/\/doi.org\/10.1007\/s00224-007-9047-0","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,3]]}}}