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