Abstract is missing.
- Algebraic Specification of ConcurrencyEgidio Astesiano, Gianna Reggio. 1-39
- Objects and their SpecificationHans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas. 40-65
- The Use of Sorts in Algebraic SpecificationsPeter D. Mosses. 66-92
- Implementation and Behavioural Equivalence: A SurveyFernando Orejas, Marisa Navarro, Ana Sánchez. 93-125
- Relationships between Logical FrameworksEgidio Astesiano, Maura Cerioli. 126-143
- Label Algebras: A Systematic Use of TermsGilles Bernot, Pascale Le Gall. 144-163
- How to Specify Non-Determinism and True Concurrency with Algebraic Term NetsMohamed Bettaz, Mourad Maouche. 164-180
- Bounded Implementation of Algebraic SpecificationsMichael Breu. 181-198
- New Concepts of Amalgamation and Extension for a General Theory of SpecificationsHartmut Ehrig, Michael Baldamus, Fernando Orejas. 199-221
- Non-Equivalence of Categories for Equational Algebraic SpecificationsHartmut Ehrig, Francesco Parisi-Presicce. 222-235
- Process Semantics of Temporal Logic SpecificationsJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum. 236-253
- The Object-Based Specification Language PI: Concepts, Syntax, and SemanticsPeter Gabriel. 254-270
- Specifications with Observable Formulae and Observational Satisfaction RelationTeodor Knapik. 271-291
- Event Logic for Specifying Abstract Dynamic Data TypesGianna Reggio. 292-309
- A Soft Stairway to InstitutionsAntonino Salibra, Giuseppe Scollo. 310-329
- Generic Classes in an Object-Based LanguageEric G. Wagner. 330-344