Process Calculi

Pi-Calculus

Robin Milner's papers
Uwe Nestmann page on Calculi for Mobile Processes

CCS

The Edinburgh Concurrency Workbench
A Virginia Tech page on CCS
Some tools supporting CCS

CSP

The CSP archive

Others Resources

Peter Sewell's page on Action Calculi
CBS, by K.S.V. Prasad
The MEIJE Project
The LOTOS Home Page

Home Page