home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / theory / 1880 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  800 b 
  1. Path: sparky!uunet!mcsun!Germany.EU.net!Informatik.Uni-Dortmund.DE!moni!kemper
  2. From: kemper@moni.informatik.uni-dortmund.de (Peter Kemper)
  3. Newsgroups: comp.theory
  4. Subject: example specification in CCS or CSP
  5. Date: 7 Sep 1992 07:38:23 GMT
  6. Organization: University of Dortmund, Germany
  7. Lines: 9
  8. Message-ID: <18f0tfINN3i1@fbi-news.Informatik.Uni-Dortmund.DE>
  9. NNTP-Posting-Host: moni
  10.  
  11. I am looking for example system specifications in Robin Milner's CCS or
  12. C.A.R. Hoare's CSP.
  13. I have found some in R. Milner "Communication and Concurrency" so far
  14. but I am looking for some more to get a better understanding of its
  15. expressiveness and proof/analysis techniques.
  16. Are there any examples of timed CCS?
  17. Please answer by e-mail. Thanks in advance.
  18.  
  19. Peter Kemper (e-mail: kemper@ls4.informatik.uni-dortmund.de)
  20.