Abstract is missing.
- The Stratified Loose Approach: A Generalization of Initial and Loose SemanticsMichel Bidoit. 1-22
- Algebraic Data Type and Process Specifications based on Projection SpacesHartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. 23-43
- Structuring Theories on ConsequenceJosé Luiz Fiadeiro, Amílcar Sernadas. 44-72
- Completion with History-Dependent Complexities for Generated EquationsHarald Ganzinger. 73-91
- Jungle EvaluationAnnegret Habel, Hans-Jörg Kreowski, Detlef Plump. 92-112
- The ACT System: Experiences and Future EnhancementsHorst Hansen. 113-130
- The Specification Language of OBSCUREThomas Lehmann, Jacques Loeckx. 131-153
- Algebraic Specifications of Reachable Higher-Order AlgebrasBernhard Möller, Andrzej Tarlecki, Martin Wirsing. 154-169
- Observing Non-Deterministic Data TypesTobias Nipkow. 170-183
- Initial Behaviour Semantics for Algebraic SpecificationsPilar Nivela, Fernando Orejas. 184-207
- Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic SpecificationsAxel Poigné. 208-234
- Operational Semantics of Behavioural Canons based on NarrowingHorst Reichel. 235-248
- The Algebraic Specification of Semi-Computable Data TypesJos L. M. Vrancken. 249-259