{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:13Z","timestamp":1761596713238},"reference-count":38,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4095,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s0304-3975(01)00021-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:07:16Z","timestamp":1027638436000},"page":"69-103","source":"Crossref","is-referenced-by-count":6,"title":["On institutions for modular coalgebraic specifications"],"prefix":"10.1016","volume":"280","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00021-4_BIB1","first-page":"41","article-title":"Proving behavioural theorems with standard first-order logic","volume":"vol. 850","author":"Bidoit","year":"1994"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(96)00039-4","article-title":"Behavioural theories and the proof of behavioural properties","volume":"175","author":"Bidoit","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","article-title":"Behavioural and abstractor specifications","volume":"25","author":"Bidoit","year":"1995","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB4","series-title":"Handbook of Categorical Algebra","author":"Borceux","year":"1994"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB5","series-title":"Recent Trends in Algebraic Development Techniques, WADT 97","first-page":"107","article-title":"Completeness of a logical system for structured specifications","volume":"vol. 1376","author":"Borzyszkowski","year":"1998"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB6","series-title":"Coalgebraic Methods in Computer Science (CMCS\u201900)","first-page":"61","article-title":"Incompleteness of behaviourallogic","volume":"vol. 33","author":"Buss","year":"2000"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB7","series-title":"Recent Trends in Algebraic Development Techniques, WADT 97","article-title":"Coalgebraic semantics for hidden algebra: parameterized objects and inheritance","volume":"vol. 1376","author":"C\u0131\u0302rstea","year":"1998"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB8","doi-asserted-by":"crossref","unstructured":"R. Diaconescu, Behavioural coherence in object-oriented algebraic specification, Tech. Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, 1998.","DOI":"10.1142\/3831"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB9","unstructured":"J. Goguen, G. Malcolm, A hidden agenda, Tech. Report CS97-538, UCSD, 1997."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB10","series-title":"Formal Methods (FM\u201999)","first-page":"1704","article-title":"Hiding more of hidden algebra","volume":"vol. 1709","author":"Goguen","year":"1999"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB11","unstructured":"H.P. Gumm, Equational and implicational classes of co-algebras. Extended abstract, RelMiCS\u20194. The 4th Internat. Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw, 1998."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB12","unstructured":"H.P. Gumm, Functors for coalgebras, preprint, 1998."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB13","unstructured":"R. Hennicker, M. Bidoit. Observational logic (long version), Tech. Report LSV-98-6, LSV, Ecole Normale Sup\u00e9rieure de Cachan, June 1998. www.lsv.ens-cachan.fr\/Publis\/RAPPORTS_LSV\/rr-lsv-1998-6.rr.ps."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB14","series-title":"Algebraic Methodology and Software Technology (AMAST\u201998)","article-title":"Observational logic","volume":"vol. 1548","author":"Hennicker","year":"1999"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB15","series-title":"Algebraic Methods and Software Technology (AMAST\u201995)","first-page":"245","article-title":"Mongruences and cofree coalgebras","volume":"vol. 936","author":"Jacobs","year":"1995"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB16","series-title":"Object-Orientation with Parallelism and Persistence","first-page":"83","article-title":"Objects and classes, co-algebraically","author":"Jacobs","year":"1996"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB17","series-title":"Categorical Logic and Type Theory","author":"Jacobs","year":"1998"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB18","unstructured":"B. Jacobs, The temporal logic of coalgebras via galois algebras, Tech. Report CSI-R9906, Computing Science Institute Nijmegen, 1999."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB19","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bull."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB20","series-title":"Model Theory for Infinitary Logic","author":"Keisler","year":"1971"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB21","unstructured":"A. Kurz, A co-variety-theorem for modal logic, Proc. Advances in Modal Logic 2, Uppsala, 1998, Center for the Study of Language and Information, Stanford University, to appear."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB22","unstructured":"A. Kurz, Logics for coalgebras and applications to computer science, Ph.D. Thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB23","doi-asserted-by":"crossref","unstructured":"A. Kurz, Specifying coalgebras with modal logic, Theoret. Comput. Sci. 260(1\u20132) (2000), to appear.","DOI":"10.1016\/S0304-3975(00)00125-0"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB24","series-title":"Coalgebraic Methods in Computer Science (CMCS\u201900)","first-page":"199","article-title":"Notes on coalgebras, co-fibrations and concurrency","volume":"vol. 33","author":"Kurz","year":"2000"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB25","series-title":"Category Theory for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB26","doi-asserted-by":"crossref","unstructured":"G. Malcolm, Behavioural Equivalence, Bisimulation, and Minimal Realisation, Lecture Notes in Computer Science, vol. 1130, Springer, Berlin, 1996, pp. 359\u2013378.","DOI":"10.1007\/3-540-61629-2_53"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB27","unstructured":"G. Malcolm, J. Goguen, Proving correctness of refinement and implementation, Tech. Report PRG-114, Oxford University Computing Laboratory, 1994."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB28","series-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB29","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB30","series-title":"Recent Trends in Data Type Specification","first-page":"409","article-title":"Swinging data types: syntax, semantics, and theory","volume":"vol. 1130","author":"Padawitz","year":"1996"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB31","series-title":"Initial Computability, Algebraic Specifications, and Partial Algebras.","author":"Reichel","year":"1987"},{"issue":"2","key":"10.1016\/S0304-3975(01)00021-4_BIB32","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal co-algebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB33","series-title":"Coalgebraic Methods in Computer Science (CMCS\u201900)","first-page":"299","article-title":"Coalgebras and modal logic","volume":"vol. 33","author":"R\u00f6\u00dfiger","year":"2000"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB34","doi-asserted-by":"crossref","unstructured":"M. R\u00f6\u00dfiger, From modal logic to terminal coalgebras, Theoret. Comput. Sci. 260(1\u20132) (2000), to appear.","DOI":"10.1016\/S0304-3975(00)00128-6"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB35","doi-asserted-by":"crossref","unstructured":"J. Rutten, D. Turi, Initial algebra and final coalgebra semantics for concurrency, Report CS-R9409, CWI, Amsterdam, 1994.","DOI":"10.1007\/3-540-58043-3_28"},{"key":"10.1016\/S0304-3975(01)00021-4_BIB36","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB37","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","article-title":"Specifications in arbitrary institutions","volume":"76","author":"Sannella","year":"1988","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(01)00021-4_BIB38","doi-asserted-by":"crossref","unstructured":"A. Tarlecki, Institutions: an abstract framework for formal specifications, in: E. Astesiano, H.-J. Kreowski, B. Krieg-Br\u00fcckner (Eds.), Algebraic Foundations of Systems Specification, Springer, Berlin, 1999 (Chapter 4).","DOI":"10.1007\/978-3-642-59851-7_4"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000214?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000214?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T02:13:06Z","timestamp":1580868786000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501000214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":38,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S0304397501000214"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00021-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}