3. COMPASS Workshop / 8. ADT 1991: Dourdan, France

@proceedings{DBLP:conf/compass/1991,
  editor    = {Michel Bidoit and
               Christine Choppy},
  title     = {Recent Trends in Data Type Specification, 8th Workshop on Specification
               of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan,
               France, August 26-30, 1991, Selected Papers},
  booktitle = {COMPASS/ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {655},
  year      = {1993},
  isbn      = {3-540-56379-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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