Circular Coinductive Rewriting (2000)

by Joseph Goguen , Kai Lin , Grigore Rosu
Venue:In Proceedings of Automated Software Engineering 2000
Citations:46 - 11 self

Active Bibliography

13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
Behavioral Abstraction is Information Hiding – Grigore Rosu
6 Behavioral Coinductive Rewriting – Grigore Rosu - 1999
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
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
7 Hidden Congruent Deduction – Grigore Ro, Joseph Goguen - 1998
1 Behavioral and Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
52 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
2 Behavioral extensions of institutions – Andrei Popescu - 2005
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
7 Observational Logic, Constructor-Based Logic, and their Duality – Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2002
12 On the Duality between Observability and Reachability – Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2001
3 Behavioral institutions and refinements in generalized hidden logics – Manuel A. Martins - 2006
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999