{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:49Z","timestamp":1725791029243},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_29","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:30:31Z","timestamp":1395394231000},"page":"441-456","source":"Crossref","is-referenced-by-count":3,"title":["A Relatively Complete Calculus for Structured Heterogeneous Specifications"],"prefix":"10.1007","author":[{"given":"Till","family":"Mossakowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0020-0190(00)00120-4","volume":"79","author":"T. Borzyszkowski","year":"2000","unstructured":"Borzyszkowski, T.: Generalized interpolation in CASL. Information Processing Letters\u00a079, 19\u201324 (2000)","journal-title":"Information Processing Letters"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science\u00a0286, 197\u2013245 (2002)","journal-title":"Theoretical Computer Science"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"M.V. Cengarle","year":"2008","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"issue":"2","key":"29_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Meseguer, J.: I borrow your logic? (transporting logical structures along maps). Theor. Comput. Sci.\u00a0173(2), 311\u2013347 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-642-40206-7_24","volume-title":"CALCO 2013.","author":"M. Codescu","year":"2013","unstructured":"Codescu, M., Mossakowski, T., Maeder, C.: Checking conservativity with Hets. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol.\u00a08089, pp. 315\u2013321. Springer, Heidelberg (2013)"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004), \n                    \n                      http:\/\/www.cofi.info"},{"key":"29_CR7","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":"29_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. J. Applied Categorical Structures\u00a010, 383\u2013402 (2002)","journal-title":"J. Applied Categorical Structures"},{"issue":"1-3","key":"29_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(1-3), 439\u2013461 (2004)","journal-title":"Theoretical Computer Science"},{"key":"29_CR10","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user (2008)"},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0020-0190(00)00037-5","volume":"74","author":"T. Dimitrakos","year":"2000","unstructured":"Dimitrakos, T., Maibaum, T.: On a generalized modularization theorem. Information Processing Letters\u00a074, 65\u201371 (2000)","journal-title":"Information Processing Letters"},{"issue":"2","key":"29_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2273727","volume":"44","author":"K. Fine","year":"1979","unstructured":"Fine, K.: Failures of the Interpolation Lemma in Quantified Modal Logic. J. of Symbolic Logic\u00a044(2), 201\u2013206 (1979)","journal-title":"J. of Symbolic Logic"},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J., Sernadas, A.: Structuring theories on consequence. In: Sannella, D., Tarlecki, A. (eds.) Abstract Data Types 1987. LNCS, vol.\u00a0332, pp. 44\u201372. Springer, Heidelberg (1988)"},{"issue":"1","key":"29_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"issue":"3-5","key":"29_CR15","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J.A. Goguen","year":"2002","unstructured":"Goguen, J.A., Rosu, G.: Institution morphisms. Formal Aspects of Computing\u00a013(3-5), 274\u2013307 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"29_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"Harper, R., Sannella, D., Tarlecki, A.: Structured presentations and logic representations. Annals of Pure and Applied Logic\u00a067, 113\u2013160 (1994)","journal-title":"Annals of Pure and Applied Logic"},{"key":"29_CR17","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer (1998)"},{"issue":"1-2","key":"29_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development graphs \u2013 proof management for structured specifications. J. of Logic and Algebraic Programming\u00a067(1-2), 114\u2013145 (2006)","journal-title":"J. of Logic and Algebraic Programming"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: General logics. In: Logic Colloquium 1987, pp. 275\u2013329. North Holland (1989)","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"29_CR20","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, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"29_CR21","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":"29_CR22","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0304-3975(01)00369-3","volume":"286","author":"T. Mossakowski","year":"2002","unstructured":"Mossakowski, T.: Relating CASL with other specification languages: the institution level. Theoretical Computer Science\u00a0286, 367\u2013475 (2002)","journal-title":"Theoretical Computer Science"},{"key":"29_CR23","unstructured":"Mossakowski, T.: Heterogeneous Specification and the Heterogeneous Tool Set. Habilitation thesis, Universit\u00e4t Bremen (2005)"},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/11780274_7","volume-title":"Algebra, Meaning, and Computation","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T.: Institutional 2-cells and grothendieck institutions. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 124\u2013149. Springer, Heidelberg (2006)"},{"key":"29_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-03429-9_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"2009","unstructured":"Mossakowski, T., Tarlecki, A.: Heterogeneous logical environments for distributed specifications. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 266\u2013289. Springer, Heidelberg (2009)"},{"key":"29_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-12727-5_24","volume-title":"CAAP \u201983","author":"D. Sannella","year":"1983","unstructured":"Sannella, D., Burstall, R.: Structured theories in LCF. In: Ausiello, G., Protasi, M. (eds.) CAAP 1983. LNCS, vol.\u00a0159, pp. 377\u2013391. Springer, Heidelberg (1983)"},{"key":"29_CR27","unstructured":"Shoenfield, J.: Mathematical Logic. Addison-Wesley (1967)"},{"key":"29_CR28","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation\u00a076, 165\u2013210 (1988)","journal-title":"Information and Computation"},{"key":"29_CR29","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica\u00a025, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"29_CR30","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"},{"key":"29_CR31","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Property-oriented semantics of structured specifications. In: Mathematical Structures in Computer Science (2013)","DOI":"10.1017\/S0960129513000212"},{"key":"29_CR32","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2, Studies in Logic and Computation, pp. 337\u2013360. Research Studies Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:28:10Z","timestamp":1558859290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}