×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Main Field

all top 3

Software