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

111 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
477 Institutions: Abstract model theory for speci cation and programming – Joseph Goguen, Rod 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
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
104 Algebraic Semantics of Imperative Programs – J A 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
3218 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
34 Behavioural and abstractor specifications – Michel Bidoit, Rolf Hennicker, Martin Wirsing - 1995