Generalised coinduction. Report SEN-R0043, CWI, 2000. Available at www.cwi.nl. (Extended abstract (2000)

by F Bartels
Venue:in Proceedings CMCS 2001. Electronic Notes in Theoretical Computer Science