Write a Review

Review the Advanced Topics in Bisimulation and Coinduction (Hardcover)