Observational logic (1999)

Cached

Download Links

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

Active Bibliography

Behavioral Abstraction is Information Hiding – Grigore Rosu
7 Observational Logic, Constructor-Based Logic, and their Duality – M. Bidoit, R. Hennicker, A. Kurz, Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2002
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
3 Behavioral institutions and refinements in generalized hidden logics – Manuel A. Martins - 2006
12 On the Duality between Observability and Reachability – Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2001
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
On Observability and Reachability – Michel Bidoit, Rolf Hennicker, Alexander Kurz
7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
6 Behavioral Coinductive Rewriting – Grigore Rosu - 1999
On the Integration of Observability and . . . – Michel Bidoit, Rolf Hennicker - 2002
25 On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic – Martin Hofmann, Donald Sannella - 1996
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
33 Behavioural Theories and The Proof of Behavioural Properties – Michel Bidoit, Rolf Hennicker - 1996
7 Towards an Adequate Notion of Observation – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1992