Books by Unknown Author
Theoretical Computer Science
2014
Theoretical Computer Science
2014
Introduction to Bisimulation and Coinduction
2012
Advanced Topics in Bisimulation and Coinduction
2011
An introduction to bisimulation and coinduction
2011
Advanced topics in bisimulation and coinduction
2011
Introduction to Bisimulation and Coinduction
2011
Advanced Topics in Bisimulation and Coinduction
2011
Introduction to Bisimulation and Coinduction
2011
Advanced Topics in Bisimulation and Coinduction
2011
Introduction to Bisimulation and Coinduction
2011
Advanced Topics in Bisimulation and Coinduction
2011
Introduction to Bisimulation and Coinduction
2011
Advanced Topics in Bisimulation and Coinduction
2011
Trustworthy Global Computing
2005
The Pi-Calculus
2003
The Pi Calculus
2001
Pi-Calculus