Automatic implementation of formal descriptions of communication protocols.

Hans A. Hansson

Published in: PSTV (1985)

Keyphrases

communication protocols
formal descriptions
protocol specification
distributed systems
computer systems
formal concept analysis
communication protocol