[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CPA-2003 Tutorial on CSP available.

To: occam-com@xxxxxxxxxx, java-threads@xxxxxxxxxx
Subject: CPA-2003 Tutorial on CSP available.
From: A E Lawrence <A.E.Lawrence@xxxxxxxxxxx>
Date: Thu, 11 Sep 2003 20:47:54 +0100
Organization: Not much
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20030716

I was asked to make the slides of an introductory tutorial on standard CSPfrom CPA-2003 available. You can find them here:-



http://www-staff.lboro.ac.uk/~coael/download/csptut.pdf
This is about 2.1Mb, so I have also put a bzip'ed version there as well:-
http://www-staff.lboro.ac.uk/~coael/download/csptut.pdf.bz2.


Please let me know of any glaring mistakes...

Adrian Lawrence

Follow-Ups:
- Introducing Spin.
  - From: A E Lawrence
- Re: CPA-2003 Tutorial on CSP available.
  - From: A E Lawrence

Prev by Date: RE: Missing characters in CPA-2003 paper
Next by Date: CSPP preprint
Previous by thread: RE: Missing characters in CPA-2003 paper
Next by thread: Re: CPA-2003 Tutorial on CSP available.
Index(es):
- Date
- Thread