Generating efficient protocol code from an abstract specification

Computer Communication Review

Volumn 26, Issue 4, 1996, Pages 60-71

  Castelluccia, C ^a   Dabbous, W ^a   O'Malley, S ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATION; EFFICIENCY; NETWORK PROTOCOLS; OPTIMIZATION; SPECIFICATIONS;

PROTOCOL COMPILERS;

PROGRAM COMPILERS;

EID: 0030262337     PISSN: 01464833     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/248157.248163     Document Type: Article

References (28)