Documents Related by Co-Citation

72 Types as theories – Joseph Goguen - 1991
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
425 Institutions: Abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
42 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
33 Behavioural validity of conditional equations in abstract data types, Contributions to general algebra 3 – H Reichel - 1984
32 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
213 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
24 Observational Proofs with Critical Contexts – Narjes Berregeb, Adel Bouhoula, Michael Rusinowitch - 1998
17 Observational Specifications and the Indistinguishability Assumption – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1995
18 Behavioral theories and the proof of behavioral properties – Michael Bidoit, Rolf Hennicker - 1996
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
104 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
121 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996