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
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M 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”, Contributions to general algebra 3 – H Reichel - 1984
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
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
7 Bisimulation and hidden algebra – D Lucanu, O Gheorghie¸s, A Apetrei - 1999
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000