|Protocol Compilers email@example.com (1995-12-09)|
|From:||firstname.lastname@example.org (Claude Castelluccia)|
|Date:||9 Dec 1995 19:31:53 -0500|
|Organization:||INRIA, Sophia-Antipolis (Fr)|
I am designing (in the context of the HIPPARCH project) a tool,
HIPPCO, which generates from Formal Descriptions of protocols (we are
using Esterel as specification language) efficient implementations. I
know that there are other projects designing similar tools from FDT
s.a. Estelle, SDL or LOTOS, and I'd like to learn more about those
projects and tools.
If you know any of those tools, could you, please, send me pointers on
them and tell me your impressions. I'm particulary interested in
knowing, if those tools generate implementations that are:
-complete or partial
-performance (compared to manual implementations)
If I receive enough answers, I will compile them and post the result in
this news-group. Thanks in advance.
Claude Castelluccia email@example.com
INRIA -- Projet RODEO
B.P. 93, 06902 Sophia-Antipolis Cedex FRANCE
Tel: +33 93 65 78 09
Return to the
Search the comp.compilers archives again.