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 BibTeX
@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
Acknowledgement:
The information on this page was contributed by Martin Gogolla
Copyright © Sat May 16 23:03:02 2009
by Michael Ley (ley@uni-trier.de)