The following publications are possibly variants of this publication:
- Circular Coinductive RewritingJoseph A. Goguen, Kai Lin, Grigore Rosu. ASE 2000: 123-132 [doi]
- Conditional Circular Coinductive Rewriting with Case AnalysisJoseph A. Goguen, Kai Lin, Grigore Rosu. WADT 2003: 216-232 [doi]
- Proving Behavioral Commutativity with CIRCDorel Lucanu. synasc 2007: 85-92 [doi]
- CIRC: A Behavioral Verification Tool Based on Circular CoinductionDorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu. calco 2009: 433-442 [doi]
- Program Equivalence by Circular ReasoningDorel Lucanu, Vlad Rusu. Preprint 2013.
- Program Equivalence by Circular ReasoningDorel Lucanu, Vlad Rusu. IFM 2013: 362-377 [doi]
- Program equivalence by circular reasoningDorel Lucanu, Vlad Rusu. fac, 27(4):701-726, 2015. [doi]
- A Generic Framework for Symbolic Execution: A Coinductive ApproachDorel Lucanu, Rusu, Vlad, Andrei Arusoaie. JSC, 80:125-163, 2017. [doi]
- A generic framework for symbolic execution: A coinductive approachDorel Lucanu, Vlad Rusu, Andrei Arusoaie. JSC, 80:125-163, 2017. [doi]
- Program Equivalence by Circular ReasoningDorel Lucanu, Rusu, Vlad. Formal Aspects of Computing, , 2014. [doi]
- Behavioral and Coinductive RewritingJoseph A. Goguen, Kai Lin, Grigore Rosu. ENTCS, 36:2-23, 2000. [doi]