VHDL and LOTOS

Article View: comp.lang.vhdl

Article #330

#330

From: Gualberto Rabay Filho
Date: Tue, 17 Nov 1992 15:48

22 lines
1187 bytes

I am a PhD student at Tech. University of Madrid and  I am interested
in formal specification themes.

Nowadays I am  working in two tasks:
- Specification of Hardware using LOTOS (ISO Language). 
- Translation from LOTOS to VHDL.

I would like to contact other persons who are working in these
subjects to change ideas and experiences.

Yours sincerely

Gualberto Rabay 

----------------------------------------------------------------
* Gualberto Rabay Filho  
* U.Politecnica de Madrid * ETSIT - Depto. de Ing. Telematica  
* Ciudad Universitaria      * 28040 -  Madrid -SPAIN 
* phone:(34-01) 5495762     * ext: 442 
* email: grabay@buho.dit.upm.es   *                         
----------------------------------------------------------------

Technical Details

Message-ID: <GRABAY.92Nov17164848@sanson.dit.upm.es>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!goya!goya.uu.es!grabay

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.vhdl
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!goya!goya.uu.es!grabay
From: grabay@dit.upm.es (Gualberto Rabay Filho)
Subject: VHDL and LOTOS
Message-ID: <GRABAY.92Nov17164848@sanson.dit.upm.es>
Sender: usenet@goya.uu.es
Nntp-Posting-Host: sanson
Organization: Dept. Ingenieria de Sistemas Telematicos, UPM, Madrid, Spain.
Distribution: comp.lang.vhdl
Date: Tue, 17 Nov 1992 15:48:48 GMT
Lines: 23