{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:23Z","timestamp":1725548963960},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229421"},{"type":"electronic","value":"9783540301011"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30101-1_6","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:05:42Z","timestamp":1267124742000},"page":"134-156","source":"Crossref","is-referenced-by-count":0,"title":["Behavioural Specification for Hierarchical Object Composition"],"prefix":"10.1007","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-57867-6_1","volume-title":"Recent Trends in Data Type Specification","author":"J. Goguen","year":"1994","unstructured":"Goguen, J., Diaconescu, R.: Towards an algebraic semantics for the object paradigm. In: Ehrig, H., Orejas, F. (eds.) Abstract Data Types 1992 and COMPASS 1992. LNCS, vol.\u00a0785, pp. 1\u201334. Springer, Heidelberg (1994)"},{"key":"6_CR2","unstructured":"Diaconescu, R., Futatsugi, K.: Behavioural coherence in object-oriented algebraic specification. Universal Computer Science 6 (2000) 74\u201396 First version appeared as JAIST Technical Report IS-RR-98-0017F (June 1998)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"R. Hennicker","year":"1998","unstructured":"Hennicker, R., Bidoit, M.: Observational logic. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 263\u2013277. Springer, Heidelberg (1998)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"FM 1999 - Formal Methods","author":"J. Goguen","year":"1999","unstructured":"Goguen, J., Ro\u015fu, G.: Hiding more of hidden algebra. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1704\u20131719. Springer, Heidelberg (1999)"},{"key":"6_CR5","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol.\u00a06. World Scientific, Singapore (1998)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theoretical Computer Science\u00a0285, 289\u2013318 (2002)","journal-title":"Theoretical Computer Science"},{"key":"6_CR7","first-page":"103","volume-title":"Behavioral specifications of businesses and systems","author":"S. Iida","year":"1999","unstructured":"Iida, S., Futatsugi, K., Diaconescu, R.: Component-based algebraic specification: - behavioural specification for component-based software engineering -. In: Behavioral specifications of businesses and systems, pp. 103\u2013119. Kluwer, Dordrecht (1999)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1644","DOI":"10.1007\/3-540-48118-4_37","volume-title":"FM 1999 - Formal Methods","author":"R. Diaconescu","year":"1999","unstructured":"Diaconescu, R., Futatsugi, K., Iida, S.: Component-based algebraic specification and verification in CafeOBJ. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1644\u20131663. Springer, Heidelberg (1999)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0304-3975(01)00368-1","volume":"286","author":"E. Astesiano","year":"2002","unstructured":"Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Br\u00fcckner, B., Mosses, P., Sannella, D., Tarlecki, A.: CASL: The common algebraic specification language. Theoretical Computer Science\u00a0286, 153\u2013196 (2002)","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","volume-title":"Research Directions in Concurrent Object-Oriented Programming","author":"J. Meseguer","year":"1993","unstructured":"Meseguer, J.: A logical theory of concurrent objects and its realization in the Maude language. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Concurrent Object-Oriented Programming, The MIT Press, Cambridge (1993)"},{"key":"6_CR11","unstructured":"Iida, S., Futatsugi, K., Diaconescu, R.: Component-based algebraic specifications: - behavioural specification for component based software engineering -. In: 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specification, 167\u2013182 Also in the technical report of Technical University of Munich TUM-I9820 (1998)"},{"key":"6_CR12","unstructured":"Burstall, R., Diaconescu, R.: Hiding and behaviour: an institutional approach. In: Roscoe, A.W., ed.: A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice- Hall (1994) 75\u201392 Also in Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh (1992)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science\u00a05, 129\u2013152 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0","volume-title":"Software Engineering with OBJ: algebraic specification in action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Goguen, J., Malcolm, G. (eds.) Software Engineering with OBJ: algebraic specification in action, Kluwer, Dordrecht (2000)"}],"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-30101-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T13:32:33Z","timestamp":1552397553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30101-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229421","9783540301011"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30101-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}