{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T13:43:30Z","timestamp":1748439810142,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_17","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"403-423","source":"Crossref","is-referenced-by-count":3,"title":["Concurrent Object-Oriented Programs: From Specification to Code"],"prefix":"10.1007","author":[{"given":"Emil","family":"Sekerinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"17_CR1","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(4), 366\u2013411 (1989)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"17_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01215408","volume":"6","author":"P. America","year":"1994","unstructured":"America, P., de Boer, F.: Reasoning about dynamically evolving process structures. Formal Aspects of Computing\u00a06(3), 269\u2013316 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems","author":"R. Back","year":"1990","unstructured":"Back, R.: Refinement calculus, part II: Parallel and reactive programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 67\u201393. Springer, Heidelberg (1990)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-63010-4_17","volume-title":"Transformation-Based Reactive Systems Development","author":"R. Back","year":"1997","unstructured":"Back, R., B\u00fcchi, M., Sekerinski, E.: Action-based concurrency and synchronization for objects. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, pp. 248\u2013262. Springer, Heidelberg (1997)"},{"key":"17_CR5","first-page":"107","volume-title":"IFIP Working Conference on Programming Concepts, Methods, Calculi","author":"R. Back","year":"1994","unstructured":"Back, R., Sere, K.: Action systems with synchronous communication. In: Olderog, E.-R. (ed.) IFIP Working Conference on Programming Concepts, Methods, Calculi, San Miniato, Italy, pp. 107\u2013126. North-Holland, Amsterdam (1994)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015020","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Back","year":"1994","unstructured":"Back, R., von Wright, J.: Trace refinement of action systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836. Springer, Heidelberg (1994)"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus \u2013 A Systematic Introduction","author":"R. Back","year":"1998","unstructured":"Back, R., von Wright, J.: Refinement Calculus \u2013 A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054286","volume-title":"Mathematics of Program Construction","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, p. 68. Springer, Heidelberg (1998)"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-0-387-35562-7_3","volume-title":"3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999)","author":"M.M. Bonsangue","year":"1999","unstructured":"Bonsangue, M.M., Kok, J.N., Sere, K.: Developing object-based distributed systems. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 1999), pp. 19\u201334. Kluwer, Dordrecht (1999)"},{"issue":"3","key":"17_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/292469.292470","volume":"30","author":"J.-P. Briot","year":"1998","unstructured":"Briot, J.-P., Guerraoui, R., Lohr, K.-P.: Concurrency and distribution in object-oriented programming. ACM Computing Surveys\u00a030(3), 291\u2013329 (1998)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"17_CR11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.3233\/FUN-2000-441-202","volume":"44","author":"M. B\u00fcchi","year":"2000","unstructured":"B\u00fcchi, M., Sekerinski, E.: A foundation for refining concurrent objects. Fundamenta Informaticae\u00a044(1), 25\u201361 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"Cardelli, L.: A semantics of multiple inheritance. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 51\u201367. Springer, Heidelberg (1984)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Cook, W., Palsberg, J.: A denotational semantics of inheritence and its correctness. In: ACM Conference Object Oriented Programming Systems, Languages and Applications. ACM SIGPLAN Notices, vol.\u00a014(10), pp. 433\u2013443 (1989)","DOI":"10.1145\/74878.74922"},{"key":"17_CR14","first-page":"1","volume-title":"Object Orientation with Parallelism and Persistence","author":"S.J. Hodges","year":"1996","unstructured":"Hodges, S.J., Jones, C.B.: Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In: Freitag, B., Jones, C.B., Lengauer, C., Schek, H.-J. (eds.) Object Orientation with Parallelism and Persistence, pp. 1\u201322. Kluwer Academic Publishers, Dordrecht (1996)"},{"issue":"2","key":"17_CR15","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00122417","volume":"8","author":"C.B. Jones","year":"1996","unstructured":"Jones, C.B.: Accomodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design\u00a08(2), 105\u2013122 (1996)","journal-title":"Formal Methods in System Design"},{"key":"17_CR17","unstructured":"Lou, K.: A Compiler for an Action-Based Object-Oriented Programming Language. Master\u2019s thesis, McMaster University (2003)"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BFb0054099","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"L. Mikhajlov","year":"1998","unstructured":"Mikhajlov, L., Sekerinski, E.: A study of the fragile base class problem. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 355\u2013382. Springer, Heidelberg (1998)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1007\/3-540-48118-4_19","volume-title":"FM\u201999 - Formal Methods","author":"L. Mikhajlov","year":"1999","unstructured":"Mikhajlov, L., Sekerinski, E., Laibinis, L.: Developing components in presence of re-entrance. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, p. 1301. Springer, Heidelberg (1999)"},{"issue":"1","key":"17_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1012904412467","volume":"20","author":"J. Misra","year":"2002","unstructured":"Misra, J.: A simple, object-based view of multiprogramming. Formal Methods in System Design\u00a020(1), 23\u201345 (2002)","journal-title":"Formal Methods in System Design"},{"key":"17_CR21","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddi, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"17_CR22","first-page":"317","volume-title":"Formal Methods and Object Technology","author":"E. Sekerinski","year":"1996","unstructured":"Sekerinski, E.: A type-theoretic basis for an object-oriented refinement calculus. In: Goldsack, S.J., Kent, S.J.H. (eds.) Formal Methods and Object Technology, pp. 317\u2013335. Springer, Heidelberg (1996)"},{"issue":"4","key":"17_CR23","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/PL00003935","volume":"12","author":"K. Sere","year":"2000","unstructured":"Sere, K., Wald\u00e9n, M.: Data refinement of remote procedures. Formal Aspects of Computing\u00a012(4), 278\u2013297 (2000)","journal-title":"Formal Aspects of Computing"}],"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\/978-3-540-39656-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T09:55:10Z","timestamp":1740218110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}