Michel Bidoit, Christine Choppy (Eds.):
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.
Lecture Notes in Computer Science 655 Springer 1993, ISBN 3-540-56379-2 
- Egidio Astesiano, Gianna Reggio:
Algebraic Specification of Concurrency.
1-39
- Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas:
Objects and their Specification.
40-65
- Peter D. Mosses:
The Use of Sorts in Algebraic Specifications.
66-92
- Fernando Orejas, Marisa Navarro, Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey.
93-125
- Egidio Astesiano, Maura Cerioli:
Relationships between Logical Frameworks.
126-143
- Gilles Bernot, Pascale Le Gall:
Label Algebras: A Systematic Use of Terms.
144-163
- Mohamed Bettaz, Mourad Maouche:
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.
164-180
- Michael Breu:
Bounded Implementation of Algebraic Specifications.
181-198
- Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications.
199-221
- Hartmut Ehrig, Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications.
222-235
- José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications.
236-253
- Peter Gabriel:
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics.
254-270
- Teodor Knapik:
Specifications with Observable Formulae and Observational Satisfaction Relation.
271-291
- Gianna Reggio:
Event Logic for Specifying Abstract Dynamic Data Types.
292-309
- Antonino Salibra, Giuseppe Scollo:
A Soft Stairway to Institutions.
310-329
- Eric G. Wagner:
Generic Classes in an Object-Based Language.
330-344
Acknowledgement:
The information on this page was contributed by Martin Gogolla
Last update Mon May 20 11:44:14 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
