{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:20:39Z","timestamp":1725772839445},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642546235"},{"type":"electronic","value":"9783642546242"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-642-54624-2_3","type":"book-chapter","created":{"date-parts":[[2014,2,28]],"date-time":"2014-02-28T22:42:59Z","timestamp":1393627379000},"page":"53-65","source":"Crossref","is-referenced-by-count":0,"title":["CafeOBJ Traces"],"prefix":"10.1007","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","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(2), 153\u2013196 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2\/3","key":"3_CR2","first-page":"133","volume":"35","author":"J.-Y. B\u00e9ziau","year":"2006","unstructured":"B\u00e9ziau, J.-Y.: 13 questions about universal logic. Bulletin of the Section of Logic\u00a035(2\/3), 133\u2013150 (2006)","journal-title":"Bulletin of the Section of Logic"},{"key":"3_CR3","unstructured":"Burstall, R., Diaconescu, R.: Hiding and behaviour: An institutional approach. In: William Roscoe, A. (ed.) A Classical Mind: Essays in Honour of C.A.R.\u00a0Hoare, pp. 75\u201392. Prentice-Hall, 1994. Also in Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh (1992)"},{"key":"3_CR4","unstructured":"Carnielli, W., Coniglio, M., Gabbay, D.M., Gouveia, P., Sernadas, C.: Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems. Applied Logic \u2014Series, vol.\u00a035. Springer (2008)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"3_CR6","unstructured":"Diaconescu, R.: Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology (June 1998)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages. Applied Categorical Structures 6(4), 427\u2013453 (1998). A preliminary version appeared as JAIST Technical Report IS-RR-97-0032F in 1997","DOI":"10.1023\/A:1008607717635"},{"key":"#cr-split#-3_CR8.1","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Grothendieck institutions. Applied Categorical Structures\u00a010(4), 383-402 (2002)","DOI":"10.1023\/A:1016330812768"},{"key":"#cr-split#-3_CR8.2","unstructured":"Preliminary version appeared as IMAR Preprint 2-2000 (February 2000) ISSN 250-3638"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.tcs.2003.10.030","volume":"311","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu, R.: Interpolation in Grothendieck institutions. Theoretical Computer Science\u00a0311, 439\u2013461 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.tcs.2005.06.015","volume":"343","author":"R. Diaconescu","year":"2005","unstructured":"Diaconescu, R.: Behavioural specification of hierarchical object composition. Theoretical Computer Science\u00a0343(3), 305\u2013331 (2005)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user (2008)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.ic.2010.11.001","volume":"209","author":"R. Diaconescu","year":"2011","unstructured":"Diaconescu, R.: Coinduction for preordered algebras. Information and Computation\u00a0209(2), 108\u2013117 (2011)","journal-title":"Information and Computation"},{"issue":"5","key":"3_CR13","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10485-009-9211-6","volume":"19","author":"R. Diaconescu","year":"2011","unstructured":"Diaconescu, R.: Grothendieck inclusion systems. Applied Categorical Structures\u00a019(5), 783\u2013802 (2011)","journal-title":"Applied Categorical Structures"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Diaconescu, R.: Quasi-varieties and initial semantics in hybridized institutions. Journal of Logic and Computation, doi:10.1093\/logcom\/ext016","DOI":"10.1093\/logcom\/ext016"},{"key":"3_CR15","unstructured":"Diaconescu, R., \u0162u\u0163u, I.: Foundations for structuring behavioural specifications. Journal of Logic and Algebraic Programming (to appear)"},{"issue":"28","key":"3_CR16","doi-asserted-by":"publisher","first-page":"3145","DOI":"10.1016\/j.tcs.2011.04.008","volume":"412","author":"R. Diaconescu","year":"2011","unstructured":"Diaconescu, R., \u0162u\u0163u, I.: On the algebra of structured specifications. Theoretical Computer Science\u00a0412(28), 3145\u20133174 (2011)","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","doi-asserted-by":"crossref","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 (1998)","DOI":"10.1142\/3831"},{"key":"3_CR18","unstructured":"Diaconescu, R., Futatsugi, K.: Behavioural coherence in object-oriented algebraic specification. Universal Computer Science\u00a06(1), 74\u201396 (2000); First version appeared as JAIST Technical Report IS-RR-98-0017F (June 1998)"},{"key":"3_CR19","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":"3_CR20","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments, pp. 83\u2013130. Cambridge (1993). Proceedings of a Workshop held in Edinburgh, Scotland (May 1991)"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","author":"R. Diaconescu","year":"2007","unstructured":"Diaconescu, R., Stefaneas, P.: Ultraproducts and possible worlds semantics in institutions. Theoretical Computer Science\u00a0379(1), 210\u2013230 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information\u00a01(3), 203\u2013233 (1992)","journal-title":"Journal of Logic, Language and Information"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Goguen, J.: Types as theories. In: Reed, G.M., Roscoe, A.W., Wachter, R.F. (eds.) Topology and Category Theory in Computer Science, pp. 357\u2013390. Oxford (1991). Proceedings of a Conference held at Oxford (June 1989)","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"issue":"6","key":"3_CR24","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1093\/jigpal\/jzi050","volume":"13","author":"J. Goguen","year":"2006","unstructured":"Goguen, J.: Data, schema, ontology and logic integration. Journal of IGPL\u00a013(6), 685\u2013715 (2006)","journal-title":"Journal of IGPL"},{"issue":"1","key":"3_CR25","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"3_CR26","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":"3_CR27","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Formal Aspects of Computing\u00a013, 274\u2013307 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR28","doi-asserted-by":"crossref","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 (2000)","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"#cr-split#-3_CR29.1","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente. In: Rev\u00eatements \u00c9tales et Groupe Fondamental, S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Bois-Marie 1960\/61, Expos\u00e9 VI. Lecture Notes in Mathematics, vol.\u00a0224. Institut des Hautes \u00c9tudes Scientifiques (1963)"},{"key":"#cr-split#-3_CR29.2","unstructured":"Reprinted in Lecture Notes in Mathematics, vol.\u00a0224, pp. 145-194. Springer (1971)"},{"key":"3_CR30","unstructured":"Iida, S.: An Algebraic Formal Method for Component based Software Developments. PhD thesis, Japan Advanced Institute for Science and Technology (1999)"},{"key":"3_CR31","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.M.: A tutorial on (co)algebras and (co)induction. Bulletin of EATCS\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin of EATCS"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","volume-title":"Algebra and Coalgebra in Computer Science","author":"M.A. Martins","year":"2011","unstructured":"Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 283\u2013297. Springer, Heidelberg (2011)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/3-540-45687-2_49","volume-title":"Mathematical Foundations of Computer Science 2002","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Comorphism-based Grothendieck logics. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol.\u00a02420, pp. 593\u2013604. Springer, Heidelberg (2002)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-37635-1_13","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2013","unstructured":"Mossakowski, T., Kutz, O., Lange, C.: Semantics of Distributed Ontology Language: Institutes and institutions. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 212\u2013230. Springer, Heidelberg (2013)"},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/11548133_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"A. Popescu","year":"2005","unstructured":"Popescu, A., Ro\u015fu, G.: Behavioral extensions of institutions. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 331\u2013347. Springer, Heidelberg (2005)"},{"key":"3_CR37","volume-title":"Proceedings, Third Hungarian Computer Science Conference","author":"H. Reichel","year":"1981","unstructured":"Reichel, H.: Behavioural equivalence \u2013 a unifying concept for initial and final specifications. In: Proceedings, Third Hungarian Computer Science Conference, Akademiai Kiado, Budapest (1981)"},{"key":"3_CR38","unstructured":"Ro\u015fu, G.: Hidden Logic. PhD thesis, University of California at San Diego (2000)"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-642-03741-2_10","volume-title":"Algebra and Coalgebra in Computer Science","author":"G. Ro\u015fu","year":"2009","unstructured":"Ro\u015fu, G., Lucanu, D.: Circular coinduction: A proof theoretical foundation. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 127\u2013144. Springer, Heidelberg (2009)"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specifications and Formal Software Development. Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"}],"container-title":["Lecture Notes in Computer Science","Specification, Algebra, and Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54624-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,24]],"date-time":"2024-05-24T18:10:19Z","timestamp":1716574219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54624-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642546235","9783642546242"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}