Estelle

Estelle is fully described elsewhere. Here we give some examples of use for specifying some commonly found functions of protocols. References ISO DP 9074 + appendices.