
Conferences in DBLP
 Joseph A. Goguen, Razvan Diaconescu
Towards an Algebraic Semantics for the Object Paradigm. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:129 [Conf]
 JeanPierre Jouannaud
Rewriting Techniques for Software Engineering. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:3052 [Conf]
 Axel Poigné
Identity and Existence, and Types in Algebra  A Survey of Sorts. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:5378 [Conf]
 Eric G. Wagner
Overloading and Inheritance. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:7997 [Conf]
 Mohamed Bettaz, Gianna Reggio
A SMoLCS Based Kit for Defining HighLevel Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:98112 [Conf]
 Maura Cerioli, Gianna Reggio
Institutions for Very Abstract Specifications. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:113127 [Conf]
 Christine Choppy
About the Correctness and Adequacy of PLUSS Specifications. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:128143 [Conf]
 Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Semantic Constructions in the Specification Language GLIDER. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:144157 [Conf]
 Stefan Conrad
On Certification of Specifications for TROLL light Objects. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:158172 [Conf]
 Grit Denker, Martin Gogolla
Translating TROLL light Concepts to Maude. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:173187 [Conf]
 Hartmut Ehrig, Julia Padberg, Leila Ribeiro
Algebraic HighLevel Nets: Petri Nets Revisited. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:188206 [Conf]
 Martin GroßeRhode, Uwe Wolter
TwoCategorical Specification of Partial Algebras. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:207219 [Conf]
 Rolf Hennicker, Friederike Nickl
A Behavioural Algebraic Framework for Modular System Design with Reuse. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:220234 [Conf]
 Claudio Hermida
On Fibred Adjunctions and Completeness for Fibred Categories. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:235251 [Conf]
 Jordi Levy, Jaume AgustíCullell
Implementing Inequality and NonDeterministic Specifications with BiRewriting Systems. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:252267 [Conf]
 Junbo Liu
A Semantic Basis of LogicIndependent Transformation. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:268279 [Conf]
 Peter D. Mosses
Unified Algebras and Abstract Syntax. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:280294 [Conf]
 Francesco ParisiPresicce, Alfonso Pierantonio
Structured Inheritance for Algebraic Class Specifications. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:295309 [Conf]
 Catharina Rieckhoff
Towards a Theory for the Animation of Algebraic Specification. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:310320 [Conf]
 PierreYves Schobbens
SecondOrder Proof Systems for Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:321336 [Conf]
 Amílcar Sernadas, José Félix Costa, Cristina Sernadas
An Institution of Object Behaviour. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:337351 [Conf]
