Conferences in DBLP
Egidio Astesiano , Gianna Reggio Algebraic Specification of Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich , Martin Gogolla , Amílcar Sernadas Objects and their Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses The Use of Sorts in Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Orejas , Marisa Navarro , Ana Sánchez Implementation and Behavioural Equivalence: A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Maura Cerioli Relationships between Logical Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Bernot , Pascale Le Gall Label Algebras: A Systematic Use of Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Bettaz , Mourad Maouche How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Breu Bounded Implementation of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Michael Baldamus , Fernando Orejas New Concepts of Amalgamation and Extension for a General Theory of Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Francesco Parisi-Presicce Non-Equivalence of Categories for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] José Luiz Fiadeiro , José Félix Costa , Amílcar Sernadas , T. S. E. Maibaum Process Semantics of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gabriel The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor Knapik Specifications with Observable Formulae and Observational Satisfaction Relation. [Citation Graph (0, 0)][DBLP ] Conf ] Gianna Reggio Event Logic for Specifying Abstract Dynamic Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Antonino Salibra , Giuseppe Scollo A Soft Stairway to Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner Generic Classes in an Object-Based Language. [Citation Graph (0, 0)][DBLP ] Conf ] 