Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999.
The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for real-time and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc.