Observational logic (1999)

Cached

Download Links

by Rolf Hennicker , Michel Bidoit
Venue:IN ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST'98
Citations:52 - 10 self

Documents Related by Co-Citation

34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
72 Types as theories – Joseph Goguen - 1991
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
19 Towards the One-Tiered Design of Data Types and Transition Systems – P Padawitz - 1998
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
35 Behavioural and abstractor specifications – M Bidoit, R Hennicker, M Wirsing - 1995
17 Observational Specifications and the Indistinguishability Assumption – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1995
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
30 Modular Correctness Proofs of Behavioural Implementations – Michel Bidoit, Rolf Hennicker - 1995
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
8 Component-based Algebraic Specification and Verification in CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida - 1999
32 A Hidden Agenda, Theoretical Computer Science 245 – J Goguen, G Malcolm - 2000
43 editors. Algebraic Foundations of Systems Specification – E Astesiano, H Kreowski, B Krieg-Brueckner - 1999