Circular Coinductive Rewriting (2000)

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

Documents Related by Co-Citation

110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
72 Types as theories – Joseph Goguen - 1991
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
103 Algebraic Semantics of Imperative Programs – J Goguen, G Malcolm - 1996
52 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
64 An introduction to algebraic semiotics, with applications to user interface design – J Goguen - 1999
3200 Communication and Concurrency – R Milner - 1989
17 Observational Specifications and the Indistinguishability Assumption – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
10 A Protocol for Distributed Cooperative Work – Joseph Goguen, Grigore Rosu - 1999
33 CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification – R Diaconescu, K Futatsugi - 1998