default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > COMPASS Workshop
> Home > Conferences and Workshops > ADT

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/compass/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/1991
Michel Bidoit, Christine Choppy:
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
- view
  authority control:
- export record
  dblp key:
  - conf/compass/AstesianoR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/AstesianoR91
Egidio Astesiano, Gianna Reggio:
Algebraic Specification of Concurrency. 1-39
- view
  authority control:
- export record
  dblp key:
  - conf/compass/EhrichGS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/EhrichGS91
Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas:
Objects and their Specification. 40-65
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Mosses91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Mosses91
Peter D. Mosses:
The Use of Sorts in Algebraic Specifications. 66-92
- view
  authority control:
- export record
  dblp key:
  - conf/compass/OrejasNS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/OrejasNS91
Fernando Orejas, Marisa Navarro, Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey. 93-125
- view
  authority control:
- export record
  dblp key:
  - conf/compass/AstesianoC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/AstesianoC91
Egidio Astesiano, Maura Cerioli:
Relationships between Logical Frameworks. 126-143
- view
  authority control:
- export record
  dblp key:
  - conf/compass/BernotG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/BernotG91
Gilles Bernot, Pascale Le Gall:
Label Algebras: A Systematic Use of Terms. 144-163
- view
  authority control:
- export record
  dblp key:
  - conf/compass/BettazM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/BettazM91
Mohamed Bettaz, Mourad Maouche:
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. 164-180
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Breu91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Breu91
Michael Breu:
Bounded Implementation of Algebraic Specifications. 181-198
- view
  authority control:
- export record
  dblp key:
  - conf/compass/EhrigBO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/EhrigBO91
Hartmut Ehrig, Michael Baldamus, Fernando Orejas:
New Concepts of Amalgamation and Extension for a General Theory of Specifications. 199-221
- view
  authority control:
- export record
  dblp key:
  - conf/compass/EhrigP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/EhrigP91
Hartmut Ehrig, Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications. 222-235
- view
  authority control:
- export record
  dblp key:
  - conf/compass/FiadeiroCSM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/FiadeiroCSM91
José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications. 236-253
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Gabriel91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Gabriel91
Peter Gabriel:
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. 254-270
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Knapik91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Knapik91
Teodor Knapik:
Specifications with Observable Formulae and Observational Satisfaction Relation. 271-291
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Reggio91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Reggio91
Gianna Reggio:
Event Logic for Specifying Abstract Dynamic Data Types. 292-309
- view
  authority control:
- export record
  dblp key:
  - conf/compass/SalibraS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/SalibraS91
Antonino Salibra, Giuseppe Scollo:
A Soft Stairway to Institutions. 310-329
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Wagner91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Wagner91
Eric G. Wagner:
Generic Classes in an Object-Based Language. 330-344

Acknowledgement: The information on this page was contributed by Martin Gogolla

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.