The π-calculus - a theory of mobile processes
- Författare
- Davide Sangiorgi
- (Davide Sangiorgi and David Walker.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 2001 | Storbritannien, Cambridge | 580 sidor. 25 cm |