Hiding and Behaviour: an Institutional Approach (1994)

Cached

Download Links

by Rod Burstall , Razvan Diaconescu
Citations:18 - 3 self

Documents Related by Co-Citation

72 Types as theories – Joseph Goguen - 1991
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
38 Behavioural equivalence – a unifying concept for initial and final specifications – Horst Reichel - 1981
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
81 Initiality, Induction and Computability – J Meseguer, J A Goguen - 1985
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
36 Behavioural validity of conditional equations in abstract data types – Horst Reichel - 1985
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
39 Logical support for modularization – R Diaconescu, J Goguen, P Stefaneas - 1991
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
10 Observability concepts in abstract data specifications – V Giarrantana, F Gimona, Ugo Montanari - 1976
52 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
7 Bisimulation and hidden algebra – D Lucanu, O Gheorghie¸s, A Apetrei - 1999