Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
The Pi-Calculus : A Theory of Mobile Processes
Davide Sangiorgi
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£65.00
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to Basket