1
Download:
|
|
by Grigore Rosu, Joseph Goguen
http://ase.arc.nasa.gov/grosu/download/ccind-sh.ps.gz
Add To MetaCart
Abstract:
Abstract: We prove correctness of circular coinduction, a new algorithm for behavioral reasoning, and draw some congruence criteria as corollaries. 1
Citations
| 200 | A tutorial on (co)algebras and (co)induction – Jacobs, Rutten - 1997 |
| 90 | A hidden agenda – Goguen, Malcolm |
| 83 | Types as theories – Goguen - 1991 |
| 58 | Observational logic – Hennicker, Bidoit - 1999 |
| 49 | Hiding More of Hidden Algebra – Goguen, Rosu - 1999 |
| 40 | Circular coinductive rewriting – Goguen, Lin, et al. - 2000 |
| 39 | Observer complete definitions are behaviourally coherent – Bidoit, Hennicker - 1999 |
| 32 | Hidden congruent deduction – Rosu, Goguen - 2000 |
| 28 | Incompleteness of behavioral logics – Buss, Rosu - 2000 |
| 22 | Behavioral theories and the proof of behavioral properties – Bidoit, Hennicker - 1996 |
| 21 | Towards the one-tiered design of data types and transition systems – Padawitz - 1998 |
| 12 | An overview of the Tatami project – Goguen, Lin, et al. - 2000 |
| 10 | Using a generalisation critic to find bisimulations for coinductive proofs – Dennis, Bundy, et al. - 1996 |
| 7 | Distributed cooperative formal methods tools – Goguen, Lin, et al. - 1997 |
