Rate this book
What to read after Circular Coinduction?
Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Circular Coinduction" by Grigore Rosu! 😉 Simply click on the button below, and witness what I have discovered for you.
Exciting news! I've found some fantastic books for you! 📚✨ Check below to see your tailored recommendations. Happy reading! 📖😊
Circular coinduction is a new technique for behavioral reasoning that extends coinduction to specifications with circularities. We show that a congruence criterion due to Bidoit and Hennicker follows easily from circular coinduction, and we give some natural examples of circular coinductive proofs. A notation, called BOBJ, appropriate for our style of behavioral specification is also sketched. Finally, everything is conducted in a general framework that in a sense is the gcd of previous behavioral frameworks.
Do you want to read this book? 😳
Buy it now!
Are you curious to discover the likelihood of your enjoyment of "Circular Coinduction" by Grigore Rosu? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.