On the use of specification styles for automated protocol implementation from LOTOS to C.

Peter van Eijk Harro Kremer Marten van Sinderen

Published in: PSTV (1990)

Keyphrases

protocol specification
semi automated
temporal ordering
specification language
data sets
implementation details
database
real time
software engineering
fully automated
formal specification
agent communication language
formal specification language