{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:56Z","timestamp":1725664976760},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:36:27Z","timestamp":1330281387000},"page":"316-332","source":"Crossref","is-referenced-by-count":7,"title":["Colimits of order-sorted specifications"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"18_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley, New York, 1990."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"F. Borceux. Handbook of Categorical Algebra I-III. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525865"},{"key":"18_CR3","unstructured":"R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, pages 1045\u20131058. Cambridge, 1977."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"M. Cerioli, A. Haxthausen, B. Krieg-Briickner, and T. Mossakowski. Permissive subsorted partial logic in CASL. In M. Johnson, editor, Algebraic methodology and software technology: 6th international conference, AMAST 97, volume 1349 of Lecture Notes in Computer Science. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0000465"},{"key":"18_CR5","unstructured":"CoFI Task Group on Language Design. CASL-The CoFI Algebraic Specification Language-Summary. CoFI Document: CASL\/Summary. WWW12, FTP13 September 1997."},{"key":"18_CR6","unstructured":"CoFI Task Group on Semantics. CASL-The CoFI Algebraic Specification Language (version 0.97)-Semantics. CoFI Note: S-6. WWW14, FTP15, July 1997."},{"key":"18_CR7","unstructured":"R. Diaconescu and K. Futatsugi. Logical semantics of CafeOBJ. Technical report IS-RR-96-0024S, JAIST, 1996."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. A. Goguen","year":"1991","unstructured":"J. A. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1:49\u201367, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95\u2013146, 1992. Predecessor in: LNCS 164, 221\u2013256, 1984.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and J. Meseguer. Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"18_CR11","unstructured":"J. A. Goguen and T. Winkler. Introducing OBJ3. Research report SRI-CSL-88-9, SRI International, 1988."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"A. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In Proceedings of AMAST'96, volume 1101 of Lecture Notes in Computer Science, pages 132-?? Springer-Verlag, 1996.","DOI":"10.1007\/BFb0014312"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"T. Mossakowski. Equivalences among various logical frameworks of partial algebras. In H. K. B\u00fcning, editor, Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, volume 1092 of Lecture Notes in Computer Science, pages 403\u2013433. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61377-3_51"},{"key":"18_CR14","unstructured":"T. Mossakowski, Kolyang, and B. Krieg-Briickner. Static semantic analysis of CASL. 12th Workshop on Algebraic Development Techniques, Tarquinia. This volume, 1997."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. CoFI: The common framework initiative for algebraic specification and development. In M. Bidoit and M. Dauchet, editors, Theory and Practice of Software Development, LNCS 1214, pages 115\u2013137. Springer Verlag, 1997.","DOI":"10.1007\/BFb0030591"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BF01211433","volume":"3","author":"O. Owe","year":"1991","unstructured":"O. Owe and O.-J. Dahl. Generator induction in order sorted algebras. Formal Aspects of Computing, 3:2\u201320, 1991.","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:19:51Z","timestamp":1605629991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}