Synthesis of protocol converters: an annotated bibliography.

Kassem Saleh Mansour H. A. Jaragh

Published in: Comput. Stand. Interfaces (1998)

Keyphrases

manually annotated
program synthesis
network protocols
data sets
tcp ip
protocol specification
database
case study
cooperative
distributed systems
formal analysis
coloured petri nets