Currently I am doing demonstrating for the undergraduate course
CS384 - Safety and Security in Distributed Systems
for
Professor Steve Schneider
and
Dr. James Heather
.
For further information about CSP, please referees to Steve's book....
.
..