Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.) |
Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![Springer, 3-540-61629-2 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Mylonakis |
Behavioural Specifications in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 394-408, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hensel, David A. Spooner |
A View on Implementing Processes: Categories of Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 237-254, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Wolz |
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 536-550, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | H. R. Walters, J. F. Th. Kamperman |
A Model for I/O in Equational Languages with Don't Care Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 522-535, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Christine Choppy, Frédéric Voisin |
Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 102-124, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | C. A. R. Hoare |
Unification of Theories: A Challenge for Computing Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 49-57, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Krieg-Brückner |
Seven Years of COMPASS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 1-13, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Class-Sort Polymorphism in GLIDER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 143-160, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker |
Reification - Changing Viewpoint but Preserving Truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 182-199, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. Arrais, José Luiz Fiadeiro |
Unifying Theories in Different Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 81-101, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian, Bernd Krieg-Brückner |
Object-Oriented Functional Programming and Type Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 458-477, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Swinging Data Types: Syntax, Semantics, and Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 409-435, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Klar, Robert Geisler, Felix Cornelius |
InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 291-395, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
The Lambda Calculus as an Abstract Data Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 74-80, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kristoffersen |
Termination of Curryfied Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 322-341, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eva Coscia, Gianna Reggio |
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 161-181, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Grant Malcolm |
Behavioural Equivalence, Bisimulation, and Minimal Realisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 359-378, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 379-393, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Tarlecki |
Moving Between Logical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 478-502, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pascale Le Gall, Agnès Arnould |
Formal Specifications and Test: Correctness and Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 342-358, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | J. F. Th. Kamperman, H. R. Walters |
Minimal Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 274-290, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter |
On the Role of Category Theory in the Area of Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 17-48, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Diaconescu |
A Category-Based Equational Logic Semantics to Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 200-221, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James J. Horning |
The Larch Shared Language: Some Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 58-73, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wieslaw Pawlowski |
Context Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 436-457, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode |
Concurrent State Transformations on Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 222-236, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.) |
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![Springer, 3-540-59132-X The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen, Werner Lauterbach |
Experiments with Partial Evaluation Domains for Rewrite Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 125-142, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Valentinas Kriauciukas, Michal Walicki |
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 306-321, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rod M. Burstall |
Inductively Defined Relations: A Brief Tutorial (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 14-16, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Voisin, Michel Bidoit |
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 503-521, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier, Hélène Kirchner, Peter D. Mosses |
Combining Algebraic and Set-Theoretic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 255-273, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli |
A Lazy Approach to Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 188-202, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Catriel Beeri |
Bulk Types and Query Language Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 30-47, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker |
Transactions in Object-Oriented Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 203-218, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Alfonso Pierantonio |
Dynamical Behavior of Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 406-419, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Elena Zucca |
Implementation of Data Structures in an Imperative Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 483-498, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig (eds.) |
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![Springer, 3-540-57867-6 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michal Walicki, Sigurd Meldal |
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 453-468, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich, Amílcar Sernadas |
Local Specification of Distributed Families of Sequential Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 219-235, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke |
Topological Methods for Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 368-388, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Equations for Describing Dynamic Nets of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 170-187, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Rudolf Herzig |
An Algebraic Semantics for the Object Specification Language TROLL light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 290-396, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Löwe, Fernando Orejas |
Dynamic Abstract Data Types Based on Algebraic Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 236-254, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Hußmann |
Axiomatic Specification of Large Information Systems: Experiences and Consequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 336-350, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 389-405, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Claus Hintermeier, Claude Kirchner, Hélène Kirchner |
Sort Inheritance for Order-Sorted Equational Presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 319-335, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Judith L. Underwood |
Typing Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 437-452, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Wolter |
Institutional Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 469-482, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001, Narciso Martí-Oliet |
From Abstract Data Types to Logical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 48-80, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
An Object-Oriented Airport: Specification and Refinement in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 351-367, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing |
Algebraic Specification Languages: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 81-115, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Rachid Echahed |
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 132-152, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger, Jürgen Stuber |
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 1-29, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, José Félix Costa |
Institutions for Behaviour Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 273-289, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Maura Cerioli |
What is an Abstract Data Type, after all? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 499-523, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Hensel, Horst Reichel |
Defining Equations in Terminal Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 307-318, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Jean-Pierre Jouannaud |
Modular Termination of Term Rewriting Systems Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 255-272, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Amílcar Sernadas, Cristina Sernadas, José Manuel Valença |
A Theory-based Typological Notion of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 420-436, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Behavioural Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 153-169, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001 |
Types, Subtypes, and ASL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, pp. 116-131, 1994, Springer, 3-540-59132-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![Springer, 3-540-56379-2 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Hermida |
On Fibred Adjunctions and Completeness for Fibred Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 235-251, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Levy, Jaume Agustí-Cullell |
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 252-267, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Catharina Rieckhoff |
Towards a Theory for the Animation of Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 310-320, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Junbo Liu |
A Semantic Basis of Logic-Independent Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 268-279, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker, Martin Gogolla |
Translating TROLL light Concepts to Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 173-187, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Overloading and Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 79-97, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud |
Rewriting Techniques for Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 30-52, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Julia Padberg, Leila Ribeiro 0001 |
Algebraic High-Level Nets: Petri Nets Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 188-206, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli, Gianna Reggio |
Institutions for Very Abstract Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 113-127, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Conrad 0001 |
On Certification of Specifications for TROLL light Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 158-172, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Amílcar Sernadas, José Félix Costa, Cristina Sernadas |
An Institution of Object Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 337-351, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Friederike Nickl |
A Behavioural Algebraic Framework for Modular System Design with Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 220-234, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Bettaz, Gianna Reggio |
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 98-112, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
Second-Order Proof Systems for Algebraic Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 321-336, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Razvan Diaconescu |
Towards an Algebraic Semantics for the Object Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 1-29, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Semantic Constructions in the Specification Language GLIDER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 144-157, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Axel Poigné |
Identity and Existence, and Types in Algebra - A Survey of Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 53-78, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
Unified Algebras and Abstract Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 280-294, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy |
About the Correctness and Adequacy of PLUSS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 128-143, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode, Uwe Wolter |
Two-Categorical Specification of Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 207-219, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce, Alfonso Pierantonio |
Structured Inheritance for Algebraic Class Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 295-309, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas |
Objects and their Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 40-65, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Francesco Parisi-Presicce |
Non-Equivalence of Categories for Equational Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 222-235, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael Breu |
Bounded Implementation of Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 181-198, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Knapik |
Specifications with Observable Formulae and Observational Satisfaction Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 271-291, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum |
Process Semantics of Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 236-253, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Marisa Navarro, Ana Sánchez |
Implementation and Behavioural Equivalence: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 93-125, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Eric G. Wagner |
Generic Classes in an Object-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 330-344, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Bettaz, Mourad Maouche |
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 164-180, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
Algebraic Specification of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 1-39, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
The Use of Sorts in Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 66-92, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Antonino Salibra, Giuseppe Scollo |
A Soft Stairway to Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 310-329, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gianna Reggio |
Event Logic for Specifying Abstract Dynamic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 292-309, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Bernot, Pascale Le Gall |
Label Algebras: A Systematic Use of Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 144-163, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Maura Cerioli |
Relationships between Logical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 126-143, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Michael Baldamus, Fernando Orejas |
New Concepts of Amalgamation and Extension for a General Theory of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 199-221, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gabriel |
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: 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, pp. 254-270, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|