home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / parallel / 1757 < prev    next >
Encoding:
Text File  |  1992-07-21  |  1.0 KB  |  27 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!gatech!hubcap!fpst
  3. From: matt@waikato.ac.nz
  4. Subject: More on CSP PDs or PS's
  5. Message-ID: <1992Jul17.102949.9430@waikato.ac.nz>
  6. News-Moderator: Approval required for posting to comp.parallel
  7. Sender: fpst@hubcap.clemson.edu (Steve Stevenson)
  8. Organization: University of Waikato, Hamilton, New Zealand
  9. Date: 17 Jul 92 10:29:49 +1200
  10. Approved: parallel@hubcap.clemson.edu
  11. Lines: 14
  12.  
  13. There seems to be some confusion about my last posting.  Several people
  14. have responded by pointing out that CSP is not a programming language, but
  15. is used for specifying or verifying algorithms.  I am interested in a
  16. form of static checking of parallel programs, and for generality I am 
  17. developing my ideas using CSP so that hopefully any parallel program written
  18. in a language which uses principles outlined in CSP could be checked using my 
  19. methods.  
  20.   If there are nontrivial process descriptions or program specifications
  21. written in CSP out there, I would like to know about them and how to obtain
  22. them so I could test my ideas.
  23.  
  24.  
  25. Matt
  26.  
  27.