Education advanced topics in biosimulation and coinduction

1.Cambridge Tracts in Theoretical Computer Science 52 Advanced Topics in Bisimulation and Coinduction Coinduction is a method for specifying and reasoning about infinite…