{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T13:43:20Z","timestamp":1748439800401,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645917"},{"type":"electronic","value":"9783540693451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054286","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T07:28:32Z","timestamp":1149665312000},"page":"68-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["An approach to object-orientation in action systems"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"P. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Operational semantics of a parallel object-oriented language. In Proceedings of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 194\u2013208, 1986.","DOI":"10.1145\/512644.512662"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America, J.W. de Bakker, J.N. Kok, and J.J.M.M. Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83(2):152\u2013205, 1989.","journal-title":"Information and Computation"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development, TAPSOFT'97, volume 1214 of Lecture Notes in Computer Science, Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030634"},{"key":"7_CR6","volume-title":"Volume 131 of Mathematical Centre Tracts","author":"R.-J.R. Back","year":"1980","unstructured":"R.-J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications. Volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980."},{"key":"7_CR7","volume-title":"Technical Report","author":"R.J.R. Back","year":"1987","unstructured":"R.J.R. Back. Procedural abstraction in the refinement calculus. Technical Report, \u00e5bo Akademi University, Department of Computer Science, Turku, Finland 1987."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"R.J.R. Back. Refinement calculus, part II: parallel and reactive programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 67\u201393, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_61"},{"key":"7_CR9","volume-title":"Action-based concurrence and synchronization for objects","author":"R.J.R. Back","year":"1997","unstructured":"R.J.R. Back, M. B\u00fcchi, and E. Sekerinski. Action-based concurrence and synchronization for objects. In Proceedings of the 4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, Ciutad de Mallorca, Springer-Verlag, 1997."},{"key":"7_CR10","first-page":"185","volume-title":"Workshops in Computing","author":"C. Bailes","year":"1991","unstructured":"C. Bailes and R. Duke. The Ecology of class refinement. In J.M. Morris and C. Shaw, editors, Proceedings of the 4th Refinement Workshop, January 1991, Cambridge, UK. Workshops in Computing, pp. 185\u2013196, Springer Verlag."},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01558665","volume":"3","author":"R.J.R. Back","year":"1983","unstructured":"R.J.R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. Distributed Computing, 3(2):73\u201387, 1983.","journal-title":"Distributed Computing"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"788","DOI":"10.1007\/BF01213603","volume":"6A","author":"M.M. Bonsangue","year":"1994","unstructured":"M.M. Bonsangue and J.N. Kok. The weakest precondition calculus: recursion and duality. Formal Aspects of Computing, 6A:788\u2013800, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"7_CR13","volume-title":"SRC Research Report 141a","author":"M.H. Brown","year":"1996","unstructured":"M.H. Brown and M.A. Najork. Distributed active objects. SRC Research Report 141a, DEC Palo Alto CA, 1996."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and K. Sere. Superposition refinement of parallel algorithms. In Parker, K.R. and Rose, editors, Proceedings of the IFIP Working Conference on Formal Description Techniques-IV, pages 475\u2013494. North-Holland Publishing Company, 1992.","DOI":"10.1016\/B978-0-444-89402-1.50044-8"},{"key":"7_CR15","unstructured":"R.J.R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, Proceedings of the IFIP Working Conference on Programming Concepts, Methods and Calculi, IFIP Transactions A-56, pages 107\u2013126, North-Holland Publishing Company, 1994."},{"key":"7_CR16","unstructured":"R.J.R. Back and K. Sere. From action systems to modular systems. Software \u2014 Concepts and Tools, 17, Springer Verlag, 1996."},{"issue":"1","key":"7_CR17","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"L. Cardelli. A language with distributed scope. Computing Systems 8(1):27\u201329, 1995.","journal-title":"Computing Systems"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"K.M.Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"7_CR19","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence 8(3), 1977.","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"U. Hensel, M. Huisman, B. Jacobs, and H. Tews. Reasoning about classes in object-oriented languages: logical models and tools. To appear in Proceedings of ESOP\/ETAPS 1998, Lecture Notes in Computer Science, Springer-Verlag, 1998.","DOI":"10.1007\/BFb0053566"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proofs of correctness of data representation. Acta Informatica, 1(4):271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"H.-M. J\u00e4rvinen and R. Kurki-Suonio. DisCo specification language: marriage of actions and objects. In Proceedings of the 11th International Conference on Distributed Computing Systems, IEEE Computer Society Press, pages 142\u2013151, 1991.","DOI":"10.1109\/ICDCS.1991.148656"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"C.B. Jones. A \u03c0-calculus semantics for an object-based design notation. In Proceedings of CONCUR'93, volume 715 of Lecture Notes in Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"7_CR25","unstructured":"L. Lamport. The temporal logic of actions. Research report 79, DEC Systems research Center, 1991. To appear in ACM Transactions on Programming Languages and Systems."},{"key":"7_CR26","unstructured":"K. Lano and H. Haughton. Reasoning and refinement in object-oriented specification languages. In European Conference on Object-Oriented Programming'92, volume 615 of Lecture Notes in Computer Science, Springer-Verlag 1992."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-oriented programs. In Proceedings of the Fourth International Formal Methods Europe Symposium (FME'97), volume 1313 of Lecture Notes in Computer Science, Springer-Verlag, 1997.","DOI":"10.1007\/3-540-63533-5_5"},{"issue":"3","key":"7_CR28","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. Morgan","year":"1988","unstructured":"C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems 10:3, pages 403\u2013419, 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J.M. Morris","year":"1987","unstructured":"J.M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287\u2013306, 1987.","journal-title":"Science of Computer Programming"},{"key":"7_CR30","unstructured":"D.A. Naumann. Predicate transformer semantics of an Oberon-like language. In E.-R. Olderog, editor, Proceedings of the IFIP Working Conference on Programming Concepts, Methods and Calculi, IFIP Transactions A-56, North-Holland Publishing Company, 1994."},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"B. Strulo. How firing conditions help inheritance. In J.P. Bowen and M.G. Hinchey, editors, ZUM'95: The Z Formal Specification Notation, volume 967 of Lecture Notes in Computer Science, Springer-Verlag 1995.","DOI":"10.1007\/3-540-60271-2_125"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"K. Sere and M. Wald\u00e9n. Data refinement of remote procedures. In M. Abadi and T. Ito, editors, Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan, volume 1281 of Lecture Notes in Computer Science, pages 267\u2013294, Springer-Verlag, 1997.","DOI":"10.1007\/BFb0014556"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"R.T. Udink and J.N. Kok. ImpUNITY: UNITY with Procedures and Local Variables. In Proceedings of Mathematics of Program Construction '95, volume 947 of Lecture Notes in Computer Science. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60117-1_24"},{"issue":"2","key":"7_CR34","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D.J. Walker","year":"1995","unstructured":"D.J. Walker. Objects in the \u03c0-calculus. Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Information and Computation"},{"key":"7_CR35","unstructured":"M. Wald\u00e9n. Layering distributed algorithms. Technical report No 121, Turku Centre for Computer Science, Turku, Finland, 1997. To appear in Proceedings of the 2nd B conference, France, April 1998."},{"issue":"2","key":"7_CR36","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF01192157","volume":"31","author":"J. von Wright","year":"1994","unstructured":"J. von Wright. The lattice of data refinement. Acta Informatica, 31(2):105\u2013135, 1994.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:19:20Z","timestamp":1736407160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0054286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645917","9783540693451"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0054286","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"25 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}