Psi-Calculi: A Framework for Mobile Process Calculi

Cook Your Own Correct Process Calculus. Just Add Data & Logic

Uppsala Dissertations from the Faculty of Science & Technology, No. 94

By Magnus Johansson
July 2010
Uppsala University
Distributed by Coronet Books
ISBN: 9789155478186
184 pages
$57.50 Paper original


Parial Contents:

1. Pi Calculus
2. Syntax and Semantics
3. Structured Terms as Channels
4. Cryptography
5. Bisimulation
6. Symbolic psi
7. Proofs

 

 

Return to Coronet Books main page