4107846
9780521781770
Out of Stock
The item you're looking for is currently unavailable.
Pi-calculus is a mathematical model of mobile computing systems. This book serves as both a reference for the theory and an extended demonstration of how to use pi-calculus to describe systems and analyse their properties.Sangiorgi, Davide is the author of 'PI-Calculus: A Theory of Mobile Processes' with ISBN 9780521781770 and ISBN 0521781779.
[read more]