Jan Rutten Books
Advanced topics in bisimulation and coinduction
"Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory...
Read More