Mossakowski, Till; Tarlecki, Andrzej Heterogeneous logical environments for distributed specifications. (English) Zbl 1253.68231 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 266-289 (2009). MSC: 68Q65 03G30 PDFBibTeX XMLCite \textit{T. Mossakowski} and \textit{A. Tarlecki}, Lect. Notes Comput. Sci. 5486, 266--289 (2009; Zbl 1253.68231) Full Text: DOI
Codescu, Mihai Generalized theoroidal institution comorphisms. (English) Zbl 1253.68226 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 88-101 (2009). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Codescu}, Lect. Notes Comput. Sci. 5486, 88--101 (2009; Zbl 1253.68226) Full Text: DOI
Padberg, Julia Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components. (English) Zbl 1147.68055 Appl. Categ. Struct. 16, No. 3, 333-364 (2008). MSC: 68Q85 68Q42 18A99 PDFBibTeX XMLCite \textit{J. Padberg}, Appl. Categ. Struct. 16, No. 3, 333--364 (2008; Zbl 1147.68055) Full Text: DOI
Goguen, Joseph A.; Malcolm, Grant A hidden agenda. (English) Zbl 0946.68070 Theor. Comput. Sci. 245, No. 1, 55-101 (2000). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. A. Goguen} and \textit{G. Malcolm}, Theor. Comput. Sci. 245, No. 1, 55--101 (2000; Zbl 0946.68070) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Institutions for logic programming. (English) Zbl 0901.68027 Theor. Comput. Sci. 173, No. 2, 485-511 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Orejas} et al., Theor. Comput. Sci. 173, No. 2, 485--511 (1997; Zbl 0901.68027) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana On the correctness of modular systems. (English) Zbl 0874.68065 Theor. Comput. Sci. 140, No. 1, 139-177 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Navarro} et al., Theor. Comput. Sci. 140, No. 1, 139--177 (1995; Zbl 0874.68065) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Algebraic methods in the compositional analysis of logic programs. (English) Zbl 1493.68072 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 112-126 (1994). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 841, 112--126 (1994; Zbl 1493.68072) Full Text: DOI
Ehrig, Hartmut; Große-Rhode, Martin Functorial theory of parameterized specifications in a general specification framework. (English) Zbl 0829.68086 Theor. Comput. Sci. 135, No. 2, 221-266 (1994). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Große-Rhode}, Theor. Comput. Sci. 135, No. 2, 221--266 (1994; Zbl 0829.68086) Full Text: DOI