• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Circular Coinduction (2000)

Cached

  • Download as a PDF

Download Links

  • [ic.arc.nasa.gov]
  • [www.ic.arc.nasa.gov]
  • [ic.arc.nasa.gov]
  • [ti.arc.nasa.gov]
  • [www.ic.arc.nasa.gov]
  • [ti.arc.nasa.gov]
  • [ic.arc.nasa.gov]
  • [ase.arc.nasa.gov]
  • [www.cse.ucsd.edu]
  • [www.cs.ucsd.edu]
  • [www.cse.ucsd.edu]
  • [www.cs.ucsd.edu]
  • [www.cs.ucsd.edu]
  • [www.cse.ucsd.edu]
  • [www.cs.ucsd.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Grigore Rosu , Joseph Goguen
Venue:In International Joint Conference on Automated Reasoning
Citations:12 - 5 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Rosu00circularcoinduction,
    author = {Grigore Rosu and Joseph Goguen},
    title = {Circular Coinduction},
    booktitle = {In International Joint Conference on Automated Reasoning},
    year = {2000}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However, algorithms using circular coinduction can prove every practical behavioral result that we know. This paper proves the correctness of circular coinduction and some consequences.

Citations

425 Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
214 A Tutorial on (Co)Algebras and (Co)Induction - Jacobs, Rutten - 1997
104 A Hidden Agenda - Goguen, Malcolm - 2000
72 Types as theories - Goguen - 1991
61 An introduction to algebraic semiotics with application to user interface design”, in Computation for Metaphor, Analogy and Agents - Goguen - 1999
53 Observational logic - Hennicker, Bidoit - 1999
42 Circular coinductive rewriting - Goguen, Lin, et al. - 2000
42 Hiding more of hidden algebra - Goguen, Rosu - 1999
35 Behavioral coherence in object-oriented algebraic specification - Diaconescu - 1998
32 Observer Complete Definitions are Behaviourally Coherent - Bidoit, Hennicker - 1999
27 Hidden congruent deduction - Rosu, Goguen
25 Incompleteness of behavioral logics - Buss, Ro¸su
24 Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach - Rod - 1994
18 Behavioral theories and the proof of behavioral properties - Bidoit, Hennicker - 1996
18 Towards the one-tiered design of data types and transition systems - Padawitz - 1997
17 Observational specifications and the indistinguishability assumption - Bernot, Bidoit, et al. - 1995
14 An Overview of the Tatami Project - Goguen, Lin, et al. - 2000
12 A protocol for distributed cooperative work - Goguen, Rosu - 1999
10 Using a generalisation critic to find bisimulations for coinductive proofs - Dennis, Bundy, et al.
7 Distributed cooperative formal methods tools - Goguen, Mori, et al.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University