Algebraic Methods 1987: Passau, Germany

Martin Wirsing, Jan A. Bergstra (Eds.): Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394 Springer 1989, ISBN 3-540-51698-0 BibTeX

@proceedings{DBLP:conf/am/1987,
  editor    = {Martin Wirsing and
               Jan A. Bergstra},
  title     = {Algebraic Methods: Theory, Tools and Applications [papers from
               a workshop in Passau, Germany, June 9-11, 1987]},
  booktitle = {Algebraic Methods},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {394},
  year      = {1989},
  isbn      = {3-540-51698-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Algebraic Specification

Helmuth Partsch: Algebraic Specification: A Step Towards Future Software Engineering. 7-30 BibTeX
Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin: How to Make Algebraic Specifications More Understandable?. 31-67 BibTeX
Herbert Klaeren, Klaus Indermark: Efficient Implementation of an Algebraic Specification Language. 69-90 BibTeX
Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. 91-116 BibTeX
Horst Reichel: Software Specification by Behavioural Canons. 117-138 BibTeX

The Design Language COLD

H. B. M. Jonkers: An Introduction to COLD-K. 139-205 BibTeX
W. E. Baats, Loe M. G. Feijs, J. H. A. Gelissen: A Formal Specifications of INGRES. 207-245 BibTeX
C. P. J. Koymanns, Gerard R. Renardel de Lavalette: The Logic MPL_omega. 247-282 BibTeX
H. B. M. Jonkers: Description Algebra. 283-306 BibTeX
Loe M. G. Feijs: The Calculus lambda-pi. 307-330 BibTeX

Rapid Prototyping with Algebraic Specification

Heinrich Hußmann, Alfons Geser: The RAP System as a Tool for Testing COLD Specifications. 331-345 BibTeX
Alfons Geser: A Specification of the intel 8085 Microprocessor: A Case Study. 347-401 BibTeX
Heinrich Hußmann, Christian Rank: Specification and Prototyping of a Compiler for a Small Applicative Language. 403-418 BibTeX
Luigi Lavazza, Stefano Crespi-Reghizzi: Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. 419-446 BibTeX

An Algebraic Approach to Concurrency

Jan A. Bergstra, Jan Willem Klop: ACT_tau: A Universal Axiom System for Process Specification. 447-463 BibTeX
Rob J. van Glabbeek, Frits W. Vaandrager: Modular Specifications in Process Algebra with Curious Queues. 465-506 BibTeX
Sjouke Mauw: An Algebraic Specification of Process Algebra, Including Two Examples. 507-554 BibTeX