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