Formalising Process Calculi
Uppsala Dissertations from the Faculty of Science & Technology, No. 93

By Jesper Bengtson
July 2010
Uppsala University
Distributed by Coronet Books
ISBN: 9789155478018
498 pages, Illustrated
$115.00 Paper original

---

Partial Contents:

1. Process Calculi
2. Nominal Logic
3. Calculus of Communicating Systems
4. Weak Bisimilarity and Congruence
5. Pi-Calculus
6. PSI-Calculus
7. Conclusions

 

 

Return to Coronet Books main page