Ehrich, Hans-Dieter; Sernadas, Amílcar Local specification of distributed families of sequential objects. (English) Zbl 1416.68120 Caleiro, Carlos (ed.) et al., Logic and computation. Essays in honour of Amílcar Sernadas. London: College Publications. Tributes 33, 1-22 (2017). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{H.-D. Ehrich} and \textit{A. Sernadas}, Tributes 33, 1--22 (2017; Zbl 1416.68120)
Ehrich, Hans-Dieter My ADT shrine. (English) Zbl 1314.68008 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, 13-24 (2012). MSC: 68-03 68Q65 PDFBibTeX XMLCite \textit{H.-D. Ehrich}, Lect. Notes Comput. Sci. 7137, 13--24 (2012; Zbl 1314.68008) Full Text: DOI
Ehrich, Hans-Dieter Object specification. (English) Zbl 0958.68108 Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 435-465 (1999). Reviewer: S.Gerber (Leipzig) MSC: 68Q65 PDFBibTeX XMLCite \textit{H.-D. Ehrich}, in: Algebraic foundations of systems specification. Berlin: Springer. 435--465 (1999; Zbl 0958.68108)
Loeckx, Jacques; Ehrich, Hans-Dieter; Wolf, Markus Specification of abstract data types. (English) Zbl 0868.68077 Stuttgart: B. G. Teubner. Chichester: Wiley. xi, 260 p. (1996). Reviewer: A.V.Anisimov (Kiev) MSC: 68Q60 68P05 68-01 68N15 PDFBibTeX XMLCite \textit{J. Loeckx} et al., Specification of abstract data types. Stuttgart: B. G. Teubner; Chichester: Wiley (1996; Zbl 0868.68077)
Ehrich, Hans-Dieter; Denker, Grit; Sernadas, Amilcar Constructing systems as object communities. (English) Zbl 1497.68336 Gaudel, Marie-Claude (ed.) et al., TAPSOFT ’93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13–17, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 668, 453-467 (1993). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{H.-D. Ehrich} et al., Lect. Notes Comput. Sci. 668, 453--467 (1993; Zbl 1497.68336) Full Text: DOI
Costa, J. F.; Sernadas, A.; Sernadas, C.; Ehrich, H.-D. Object interaction. (English) Zbl 1493.68242 Havel, Ivan M. (ed.) et al., Mathematical foundations of computer science 1992. 17th international symposium, Prague, Czechoslovakia, August 24–28, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 629, 200-208 (1992). MSC: 68Q85 68Q55 68Q65 PDFBibTeX XMLCite \textit{J. F. Costa} et al., Lect. Notes Comput. Sci. 629, 200--208 (1992; Zbl 1493.68242) Full Text: DOI
Ehrich, Hans-Dieter; Gogolla, Martin; Lipeck, Udo Walter Algebraische Spezifikation abstrakter Datentypen. (German) Zbl 0696.68011 Leitfäden und Monographien der Informatik. Stuttgart: B. G. Teubner. IX, 236 p. DM 38.00 (1989). Reviewer: I.Kerner MSC: 68-02 68P05 68N01 68N99 PDFBibTeX XMLCite \textit{H.-D. Ehrich} et al., Algebraische Spezifikation abstrakter Datentypen. Stuttgart: B. G. Teubner (1989; Zbl 0696.68011)
Ehrich, H.-D. Key extensions of abstract data types, final algebras, and database semantics. (English) Zbl 0616.68018 Category theory and computer programming, Workshop Guildford/U.K. 1985, Lect. Notes Comput. Sci. 240, 412-433 (1986). MSC: 68P05 68P20 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, U.; Ehrich, H.-D. Algebraic and operational semantics of specifications allowing exceptions and errors. (English) Zbl 0553.68012 Theor. Comput. Sci. 34, No. 1-2, 289-313 (1984). MSC: 68P05 PDFBibTeX XMLCite \textit{M. Gogolla} et al., Theor. Comput. Sci. 34, 289--313 (1984; Zbl 0553.68012) Full Text: DOI
Ehrich, Hans-Dieter; Lipeck, Udo Algebraic domain equations. (English) Zbl 0519.68024 Theor. Comput. Sci. 27, 167-196 (1983). MSC: 68P05 PDFBibTeX XMLCite \textit{H.-D. Ehrich} and \textit{U. Lipeck}, Theor. Comput. Sci. 27, 167--196 (1983; Zbl 0519.68024) Full Text: DOI
Pletat, U.; Engels, G.; Ehrich, H.-D. An operational approach to conditional algebraic specifications. (English) Zbl 0549.68011 Les arbres en algèbre et en programmation, 7ème Colloq., Lille 1982, 254-270 (1982). MSC: 68P05 PDFBibTeX XML
Drosten, K.; Gogolla, M.; Ehrich, Hans-Dieter; Lipeck, Udo A hierarchical approach to an operational semantics for conditional algebraic specifications. (English) Zbl 0519.68022 Ber., Abt. Inf., Univ. Dortm. 144, 31 p. (1982). MSC: 68P05 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, Udo; Ehrich, Hans-Dieter Algebraic and operational semantics of specifications allowing exceptions and errors. (English) Zbl 0519.68021 Ber., Abt. Inf., Univ. Dortm. 140, 21 p. (1982). MSC: 68P05 PDFBibTeX XML
Gogolla, M.; Drosten, K.; Lipeck, Udo; Ehrich, Hans-Dieter Algebraic and operational semantics of exceptions and errors. (English) Zbl 0493.68025 Theoretical computer science, 6th GI-Conf., Dortmund 1983, Lect. Notes Comput. Sci. 145, 141-151 (1982). MSC: 68P05 PDFBibTeX XML
Ehrich, Hans-Dieter; Lipeck, Udo Algebraic domain equations. (English) Zbl 0491.68014 Ber., Abt. Inf., Univ. Dortm. 125, 36 p. (1981). MSC: 68P05 PDFBibTeX XML
Ehrich, H. D. On realization and implementation. (English) Zbl 0465.68005 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 271-280 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Ehrich, H.-D. Specifying algebraic data types by domain equations. (English) Zbl 0465.68004 Fundamentals of computation theory, Proc. int. FCT-Conf., Szeged/Hung. 1981, Lect. Notes Comput. Sci. 117, 120-129 (1981). MSC: 68P05 68Q60 68N01 PDFBibTeX XML
Ehrich, Hans-Dieter; Lipeck, Udo Proving implementations correct - two alternative approaches. (English) Zbl 0444.68015 Information processing, Proc. IFIP Congr., Tokyo and Melbourne 1980, 83-88 (1980). MSC: 68P05 PDFBibTeX XML
Ehrich, H.-D. Zur Theorie abstrakter Datentypen. (German) Zbl 0437.68012 Wiss. Z. Tech. Univ. Dres. 29, 344-346 (1980). MSC: 68P05 68N01 PDFBibTeX XMLCite \textit{H. D. Ehrich}, Wiss. Z. Tech. Univ. Dres. 29, 344--346 (1980; Zbl 0437.68012)
Ehrich, H.-D.; Lohberger, V. G. Parametric specification of abstract data types, parameter substitution, and graph replacements. (English) Zbl 0403.68017 Appl. Comput. Sci., Ber. Prakt. Inf. 13, 169-182 (1979). MSC: 68P05 68Q45 68Q55 68R10 18B20 PDFBibTeX XMLCite \textit{H. D. Ehrich} and \textit{V. G. Lohberger}, Appl. Comput. Sci., Ber. Prakt. Inf. 13, 169--182 (1979; Zbl 0403.68017)
Ehrich, H.-D.; Lohberger, V. G. Constructing specifications of abstract data types by replacements. (English) Zbl 0402.68012 Graph-grammars and their application to computer science and biology, Int. Workshop Bad Honnef 1978, Lect. Notes Comput. Sci. 73, 180-191 (1979). MSC: 68P05 18B20 PDFBibTeX XML
Ehrich, H.-D. Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte. (German) Zbl 0396.68003 Graphen-Sprach. Algorithm. Graphen, 1. Fachtag. graphen-theor. Konz. Inf., Berlin(West) 1975, 143-161 (1976). MSC: 68N01 68Q45 68Q65 PDFBibTeX XML