{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330718},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616290"},{"type":"electronic","value":"9783540706427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61629-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:35Z","timestamp":1330294115000},"page":"17-48","source":"Crossref","is-referenced-by-count":4,"title":["On the role of category theory in the area of algebraic specifications"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"M.","family":"Gro\u00dfe-Rhode","sequence":"additional","affiliation":[]},{"given":"U.","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Abramsky. Interaction categories (extended abstract). In J.L. Burn, S.J. Gay, and M.D. Ryan, editors, Theory and Formal Methods 1993: Proc. First Imperial College Department of Computing Workshop on Theory and Formal Methods, pages 57\u201370. Springer Verlag Workshops in Computer Science, 1993.","key":"3_CR1","DOI":"10.1007\/978-1-4471-3503-6_5"},{"unstructured":"S. Abramsky. Interaction categories and communicating sequential processes. In A.W. Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R.Hoare. Prentice Hall International, 1994.","key":"3_CR2"},{"doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, triples, and theories. Springer Verlag, 1985.","key":"3_CR3","DOI":"10.1007\/978-1-4899-0021-0"},{"unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990.","key":"3_CR4"},{"issue":"2","key":"3_CR5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I. Cla\u00dfen","year":"1995","unstructured":"I. Cla\u00dfen, M. Gro\u00dfe-Rhode, and U. Wolter. Categorical concepts for parameterized partial specifications. Math. Struct. in Comp. Science, 5(2):153\u2013188, 1995.","journal-title":"Math. Struct. in Comp. Science"},{"key":"3_CR6","volume-title":"Technical report","author":"M. Cerioli","year":"1993","unstructured":"M. Cerioli and J. Meseguer. May I Borrow Your Logic? Technical report, SRI International, Menlo Park, 1993."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig and M. Gro\u00dfe-Rhode. Functorial theory of parameterized specifications in a general specification framework. TCS, (135):221\u2013266, 1994.","journal-title":"TCS"},{"unstructured":"H. Ehrig. Algebraic specification of modules and modular software systems within the framework of specification logics. Technical Report 89-17, TU Berlin, 1989.","key":"3_CR8"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1090\/S0002-9947-1945-0013131-6","volume":"58","author":"S. Eilenberg","year":"1945","unstructured":"S. Eilenberg and S. MacLane. General theory of natural equivalences. Trans. Am. Math. Soc., 58:231\u2013294, 1945.","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR10","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985."},{"key":"3_CR11","volume-title":"volume 21 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1990."},{"key":"3_CR12","first-page":"3","volume":"915","author":"H. Ehrig","year":"1995","unstructured":"H. Ehrig and B. Mahr. A decade of TAPSOFT: Aspects of progress and prospects in theory and practice of software development. In Proc. TAP-SOFT'95, pages 3\u201324. LNCS 915, 1995.","journal-title":"LNCS"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P. Freyd","year":"1972","unstructured":"P. Freyd. Aspects of topoi. Bull. Austr. Math. Soc., (7):1\u201372, 1972.","journal-title":"Bull. Austr. Math. Soc."},{"key":"3_CR14","first-page":"467","volume":"8","author":"P. Freyd","year":"1973","unstructured":"P. Freyd. Aspects of topoi, corrections. Bull. Austr. Math. Soc., (8):467\u2013480, 1973.","journal-title":"Bull. Austr. Math. Soc."},{"unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trend in Data Type Specification, LNCS 332, pages 221\u2013235. Springer Verlag, 1987.","key":"3_CR15"},{"key":"3_CR16","first-page":"221","volume-title":"Proc. Logics of Programming Workshop, LNCS 164","author":"J. A. Goguen","year":"1984","unstructured":"J. A. Goguen and R. M. Burstall. Introducing institutions. In Proc. Logics of Programming Workshop, LNCS 164, pages 221\u2013256. Carnegie-Mellon, Springer, 1984."},{"unstructured":"J. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Technical Report CSLI-85-30, Stanford University, 1985.","key":"3_CR17"},{"issue":"1","key":"3_CR18","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"issue":"1","key":"3_CR19","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"J. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1(1):49\u201367, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"unstructured":"J. A. Goguen, J. W. Thatcher, and E. G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology IV: Data Structuring, pages 80\u2013144. Prentice Hall, 1978.","key":"3_CR20"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1090\/conm\/092\/1003199","volume-title":"Categories in Computer Science and Logic","author":"J. M. E. Hyland","year":"1989","unstructured":"J. M. E. Hyland and A. M. Pitts. The theory of constructions: Categorical semantics and topos-theoretic models. In Categories in Computer Science and Logic, pages 137\u2013200. AMS-IMS-SIAM Joint Summer Research Conference, University of Colorado, Boulder, 1989."},{"unstructured":"P. T. Johnstone. Topos Theory. Academic Press, 1977.","key":"3_CR22"},{"key":"3_CR23","first-page":"74","volume":"420","author":"G. M. Kelly","year":"1974","unstructured":"G. M. Kelly. Review of the elements of 2-categories. Lecture Notes in Mathematics, (420):74\u2013103, 1974.","journal-title":"Lecture Notes in Mathematics"},{"unstructured":"H. Kaphengst and H. Reichel. Operative Theorien und Kategorien von operativen Systemen. In Studien zur Algebra und ihren Anwendungen, volume 16, pages 41\u201356. Akademie-Verlag, 1972.","key":"3_CR24"},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/S0049-237X(08)71104-2","volume-title":"Handbook of Mathematical Logic","author":"A. Kock","year":"1977","unstructured":"A. Kock and G. E. Reyes. Doctrines in categorical logic. In J. Barwise, editor, Handbook of Mathematical Logic, pages 283\u2013313. Elsevier Science Publishers B. V., North Holland, 1977."},{"doi-asserted-by":"crossref","unstructured":"F. W. Lawvere. Functorial semantics of algebraic theories. In Proc. National Academy of Science, U.S.A., 50, pages 869\u2013872. Columbia University, 1963.","key":"3_CR26","DOI":"10.1073\/pnas.50.5.869"},{"unstructured":"J. Lambek and P.J. Scott. Introduction to higher order categorical logic. Cambridge University Press, 1986.","key":"3_CR27"},{"key":"3_CR28","volume-title":"volume 5 of Graduate Texts in Mathematics","author":"S. Mac Lane","year":"1971","unstructured":"S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer, New York, 1971."},{"doi-asserted-by":"crossref","unstructured":"E. Manes. Algebraic Theories. Springer Verlag, 1976.","key":"3_CR29","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"3_CR30","first-page":"275","volume-title":"Logic colloquium '87","author":"J. Meseguer","year":"1989","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et. al., editor, Logic colloquium '87, pages 275\u2013329. Elsevier Science Publishers B. V.,North Holland, 1989."},{"unstructured":"J. Meseguer. Rewriting as a unified model of concurrency. Technical Report SRI-CSL-90-02, SRI International, Computer Science Laboratory, 1990.","key":"3_CR31"},{"key":"3_CR32","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. TCS, 96:73\u2013155, 1992.","journal-title":"TCS"},{"unstructured":"J. Meseguer and J. A. Goguen. Initiality, induction, and computability. In M. Nivat and J. Reynolds, editors, Algebraic Methods in Semantics, chapter 14, pages 459\u2013541. Cambridge University Press, 1985.","key":"3_CR33"},{"doi-asserted-by":"crossref","unstructured":"A. Poign\u00e9. Algebra categorically. In D. Pitt, S. Abramsky, A. Poign\u00e9, and D. Rydeheard, editors, Category Theory and Computer Programming, pages 77\u2013102. LNCS 240, Springer, 1985.","key":"3_CR34","DOI":"10.1007\/3-540-17162-2_118"},{"key":"3_CR35","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"H. Reichel. Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford, 1987."},{"key":"3_CR36","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","volume":"95","author":"R. A. G. Seely","year":"1984","unstructured":"R. A. G. Seely. Locally cartesian closed categories and type theory. Mathematical Proceedings Cambridge Philosophical Society, (95):33\u201348, 1984.","journal-title":"Mathematical Proceedings Cambridge Philosophical Society"},{"issue":"4","key":"3_CR37","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R. A. G. Seely","year":"1987","unstructured":"R. A. G. Seely. Categorical semantics for higher order polymorphic lambda calculus. Journal of Symbolic Logic, 52(4):969\u2013989, December 1987.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR38","series-title":"LNCS","volume-title":"Recent Trends in Data Type Specifications. WADT11","author":"A. Tarlecki","year":"1996","unstructured":"A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specifications. WADT11. Oslo Norway, September 1995. LNCS (this volume), Springer, 1996."},{"key":"3_CR39","volume-title":"volume 25 of EATCS Monographs on Theoretical Computer Science","author":"W. Wechler","year":"1992","unstructured":"W. Wechler. Universal Algebra for Computer Scientists, volume 25 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1992."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61629-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:15:34Z","timestamp":1687288534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61629-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616290","9783540706427"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-61629-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}