Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin Behavioural and abstractor specifications revisited. (English) Zbl 1396.68073 Theor. Comput. Sci. 741, 32-43 (2018). MSC: 68Q65 68Q85 PDFBibTeX XMLCite \textit{R. Hennicker} et al., Theor. Comput. Sci. 741, 32--43 (2018; Zbl 1396.68073) Full Text: DOI
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin 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 \textit{S. S. Bauer} et al., Lect. Notes Comput. Sci. 7137, 1--12 (2012; Zbl 1312.68149) Full Text: DOI
Orejas, Fernando; Wirsing, Martin 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 \textit{F. Orejas} and \textit{M. Wirsing}, Lect. Notes Comput. Sci. 5700, 140--161 (2009; Zbl 1253.68232) Full Text: DOI
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 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 \textit{A. Boronat} et al., Lect. Notes Comput. Sci. 5486, 71--87 (2009; Zbl 1253.68225) Full Text: DOI Link
van Riemsdijk, M. Birna; Hennicker, Rolf; Wirsing, Martin; Schroeder, Andreas 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). MSC: 68Q60 03B70 03G30 68Q65 PDFBibTeX XMLCite \textit{M. B. van Riemsdijk} et al., Lect. Notes Comput. Sci. 5140, 392--406 (2008; Zbl 1170.68534) Full Text: DOI
Wirsing, Martin (ed.); Pattinson, Dirk (ed.); Hennicker, Rolf (ed.) 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). MSC: 00B25 68-06 68Q60 68Q65 PDFBibTeX XMLCite \textit{M. Wirsing} (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers. Berlin: Springer (2003; Zbl 1028.00034) Full Text: DOI Link
Wirsing, Martin; Crossley, John N.; Peterreins, Hannes 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). MSC: 03B70 68Q65 03F05 03B40 PDFBibTeX XMLCite \textit{M. Wirsing} et al., Lect. Notes Comput. Sci. 1589, 326--340 (1999; Zbl 0946.03039)
Sannella, Donald; Wirsing, Martin Specification languages. (English) Zbl 0979.68555 Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 243-272 (1999). MSC: 68Q65 PDFBibTeX XMLCite \textit{D. Sannella} and \textit{M. Wirsing}, in: Algebraic foundations of systems specification. Berlin: Springer. 243--272 (1999; Zbl 0979.68555)
Hennicker, Rolf; Wirsing, Martin 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 \textit{R. Hennicker} and \textit{M. Wirsing}, Lect. Notes Comput. Sci. 1279, 19--37 (1997; Zbl 1507.68202) Full Text: DOI
Kosiuczenko, Piotr; Wirsing, Martin 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 \textit{P. Kosiuczenko} and \textit{M. Wirsing}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 157, 229--264 (1997; Zbl 0876.03015)
Kosiuczenko, Piotr; Wirsing, Martin Timed rewriting logic with an application to object-based specification. (English) Zbl 0877.68071 Sci. Comput. Program. 28, No. 2-3, 225-246 (1997). MSC: 68Q42 68Q65 PDFBibTeX XMLCite \textit{P. Kosiuczenko} and \textit{M. Wirsing}, Sci. Comput. Program. 28, No. 2--3, 225--246 (1997; Zbl 0877.68071) Full Text: DOI
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin Behavioural and abstractor specifications. (English) Zbl 0853.68130 Sci. Comput. Program. 25, No. 2-3, 149-186 (1995). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Bidoit} et al., Sci. Comput. Program. 25, No. 2--3, 149--186 (1995; Zbl 0853.68130) Full Text: DOI
Cengarle, María Victoria; Wirsing, Martin A calculus of higher-order parameterization for algebraic specifications. (English) Zbl 0832.68072 Bull. IGPL 3, No. 4, 615-641 (1995). MSC: 68Q65 03B40 PDFBibTeX XMLCite \textit{M. V. Cengarle} and \textit{M. Wirsing}, Bull. IGPL 3, No. 4, 615--641 (1995; Zbl 0832.68072) Full Text: DOI
Hennicker, Rolf; Wirsing, Martin 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). MSC: 68Q55 68Q60 68Q65 03F03 PDFBibTeX XMLCite \textit{R. Hennicker} and \textit{M. Wirsing}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 193--230 (1995; Zbl 0831.68061)
Leszczylowski, Jacek; Wirsing, Martin Polymorphism, parametrization and typing: An algebraic specification perspective. (English) Zbl 0788.68098 Theoretical aspects of computer science, Proc. 8th Annu. Symp., STACS ’91, Hamburg/Ger. 1991, Lect. Notes Comput. Sci. 480, 1-15 (1991). MSC: 68Q65 68N01 68P05 PDFBibTeX XMLCite \textit{J. Leszczylowski} and \textit{M. Wirsing}, Lect. Notes Comput. Sci. 480, 1--15 (1991; Zbl 0788.68098)
Wirsing, Martin 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 \textit{M. Wirsing}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 675--788 (1990; Zbl 0900.68309)
Wirsing, Martin (ed.); Bergstra, Jan A. (ed.) 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). Reviewer: D.Gruska (Bratislava) MSC: 68-06 68Q65 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. Wirsing} (ed.) and \textit{J. A. Bergstra} (ed.), Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings. Berlin etc.: Springer-Verlag (1989; Zbl 0745.68019)
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin Algebraic specifications of reachable higher-order algebras. (English) Zbl 0659.68027 Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 154-169 (1988). MSC: 68P05 08C05 68Q65 PDFBibTeX XML
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin Algebraic specification with built-in domain constructions. (English) Zbl 0645.68027 Trees in algebra and programming, Proc. 13th Colloq. CAAP, Nancy/France 1988, Lect. Notes Comput. Sci. 299, 132-148 (1988). MSC: 68P05 68Q65 08C05 PDFBibTeX XML
Broy, Manfred; Wirsing, Martin Ultra-loose algebraic specification. (English) Zbl 0746.68060 Bull. EATCS 35, 117-128 (1988). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Broy} and \textit{M. Wirsing}, Bull. EATCS 35, 117--128 (1988; Zbl 0746.68060)
Wirsing, Martin Algebraic specification of the abstract data type “continuum” without hidden operations. (English) Zbl 1022.68589 Bull. EATCS 29, 46-55 (1986). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Wirsing}, Bull. EATCS 29, 46--55 (1986; Zbl 1022.68589)
Päppinghaus, Peter; Wirsing, Martin Nondeterministic three-valued logic: isotonic and guarded truth-functions. (English) Zbl 0537.68021 Stud. Log. 42, 1-22 (1983). MSC: 68Q60 03B50 68Q65 PDFBibTeX XMLCite \textit{P. Päppinghaus} and \textit{M. Wirsing}, Stud. Log. 42, 1--22 (1983; Zbl 0537.68021) Full Text: DOI
Broy, M.; Gnatz, R.; Wirsing, M. Problemspezifikation - eine Grundlage für Programmentwicklung. (German) Zbl 0407.68005 Workshop on reliable software, 2nd Meet. Ger. Chapter ACM, Bonn 1978, Appl. Comput. Sci., Ber. Prakt. Inf. 14, 235-246 (1979). MSC: 68N01 68P05 68Q65 PDFBibTeX XML
Broy, M.; Gnatz, R.; Wirsing, M. Semantics of nondeterministic and noncontinuous constructs. (English) Zbl 0406.03059 Program construction, int. Summer Sch., Marktoberdorf 1978, Lect. Notes Comput. Sci. 69, 553-592 (1979). MSC: 03D60 68N99 03E60 68Q65 PDFBibTeX XML