home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / vhdl / 534 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.1 KB  |  36 lines
  1. Newsgroups: comp.lang.vhdl
  2. Path: sparky!uunet!mcsun!goya!goya.uu.es!grabay
  3. From: grabay@dit.upm.es (Gualberto Rabay Filho)
  4. Subject: VHDL and LOTOS
  5. Message-ID: <GRABAY.92Nov17164848@sanson.dit.upm.es>
  6. Sender: usenet@goya.uu.es
  7. Nntp-Posting-Host: sanson
  8. Organization: Dept. Ingenieria de Sistemas Telematicos, UPM, Madrid, Spain.
  9. Distribution: comp.lang.vhdl
  10. Date: Tue, 17 Nov 1992 15:48:48 GMT
  11. Lines: 23
  12.  
  13.  
  14. I am a PhD student at Tech. University of Madrid and  I am interested
  15. in formal specification themes.
  16.  
  17. Nowadays I am  working in two tasks:
  18. - Specification of Hardware using LOTOS (ISO Language). 
  19. - Translation from LOTOS to VHDL.
  20.  
  21. I would like to contact other persons who are working in these
  22. subjects to change ideas and experiences.
  23.  
  24. Yours sincerely
  25.  
  26. Gualberto Rabay 
  27.  
  28. ----------------------------------------------------------------
  29. * Gualberto Rabay Filho  
  30. * U.Politecnica de Madrid * ETSIT - Depto. de Ing. Telematica  
  31. * Ciudad Universitaria      * 28040 -  Madrid -SPAIN 
  32. * phone:(34-01) 5495762     * ext: 442 
  33. * email: grabay@buho.dit.upm.es   *                         
  34. ----------------------------------------------------------------
  35.  
  36.