home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / specific / 374 < prev    next >
Encoding:
Internet Message Format  |  1992-08-16  |  502 b 
  1. Path: sparky!uunet!munnari.oz.au!goanna!numbat!s897461
  2. From: s897461@numbat.cs.rmit.OZ.AU (Alfred Yau)
  3. Newsgroups: comp.specification
  4. Subject: Verification Methodology For LOTOS Specification
  5. Keywords: LOTOS Verification
  6. Message-ID: <s897461.714044661@numbat>
  7. Date: 17 Aug 92 09:44:21 GMT
  8. Sender: news@goanna.cs.rmit.oz.au
  9. Lines: 5
  10.  
  11. I would like to know from anyone regarding methodology for verification
  12. of protocols in LOTOS. Is it similar to the CCS verification methodogy ?  
  13. Thank....
  14.  
  15. Alfred Yau
  16.