×

Found 24 Documents (Results 1–24)

Building a modal interface theory for concurrency and data. (English) Zbl 1312.68149

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 1-12 (2012).
MSC:  68Q85 68Q65
PDFBibTeX XMLCite
Full Text: DOI

On the specification and verification of model transformations. (English) Zbl 1253.68232

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 140-161 (2009).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

What is a multi-modeling language? (English) Zbl 1253.68225

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, 71-87 (2009).
MSC:  68Q65 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Service specification and matchmaking using description logic. An approach based on institutions. (English) Zbl 1170.68534

Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 392-406 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. (English) Zbl 1028.00034

Lecture Notes in Computer Science. 2755. Berlin: Springer. viii, 457 p. (2003).
PDFBibTeX XMLCite
Full Text: DOI Link

Proof normalization of structured algebraic specifications is convergent. (English) Zbl 0946.03039

Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 326-340 (1999).
PDFBibTeX XMLCite

Proof systems for structured algebraic specifications: an overview. (English) Zbl 1507.68202

Chlebus, Bogdan S. (ed.) et al., Fundamentals of computation theory. 11th international symposium, FCT ’97, Jagiellonian Univ., Kraków, Poland, September 1–3, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1279, 19-37 (1997).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Timed rewriting logic for the specification of time-sensitive-systems. (English) Zbl 0876.03015

Schwichtenberg, Helmut (ed.), Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25–August 6, 1995. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 157, 229-264 (1997).
MSC:  03B80 68Q42 68Q65
PDFBibTeX XMLCite

Behavioural specifications. (English) Zbl 0831.68061

Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 193-230 (1995).
PDFBibTeX XMLCite

Algebraic specification. (English) Zbl 0900.68309

van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 675-788 (1990).
MSC:  68Q65
PDFBibTeX XMLCite

Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. (English) Zbl 0745.68019

Lecture Notes in Computer Science. 394. Berlin etc.: Springer-Verlag. VI, 558 p. (1989).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software