Process calculi
Collection of online resources for ambient calculi
AmbientCalculiOnline
Mobile Computational Ambients by Luca Cardelli
Ambit
A TCBS-Implementation on C++ - A Laboratory for the Course "Parallelism"
Citations from CiteSeer
Citations from CiteSeer
Citations from CiteSeer
Concurrency Research Group kent research groups
Reorganisation of department's Research Groups
Formal Systems Europe, Ltd. develop CSP tools, some of which are freely downloadable.
Formal Systems (Europe) Ltd
The CSP Archive info csp
Virtual Library formal methods: CSP
WoTUG A group applying the principles of transputers (e.g., CSP) in other environments.
WoTUG Home
Calculi for Mobile Processes move mobility
Calculi for Mobile Processes
PiCalculus on the C2 wiki
Pi Calculus
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Ambient calculus , Calculus of Broadcasting Systems , Calculus of Communicating Systems , Communicating sequential processes , INMOS Transputer , Pi-calculus , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Process calculi".