home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / parallel / 1894 < prev    next >
Encoding:
Text File  |  1992-08-11  |  767 b   |  27 lines
  1. Newsgroups: comp.parallel
  2. Path: sparky!uunet!gatech!hubcap!fpst
  3. From: csds@alpha.ru.ac.za (David Sewry)
  4. Subject: Formal Specifications in CCS
  5. Message-ID: <1992Aug12.122021.6811@hubcap.clemson.edu>
  6. Apparently-To: uunet.uu.net!comp-parallel
  7. Keywords: CCS
  8. Sender: news@hippo.ru.ac.za
  9. Organization: Rhodes University, Grahamstown, South Africa
  10. Date: Wed, 12 Aug 1992 08:08:16 GMT
  11. Approved: parallel@hubcap.clemson.edu
  12. Lines: 13
  13.  
  14.  
  15. Hello
  16.  
  17. I am using Milner's CCS to specify the Linda programming model.
  18. (This work forms part of a larger project which aims to construct
  19. a parallel debugger.)
  20.  
  21. I am keen to learn of any efforts in the use of CCS as a specification
  22. tool, or its use in the specification of such parallel paradigms.
  23.  
  24. David Sewry
  25. Internet: csds@alpha.ru.ac.za
  26.  
  27.