R Niyogi - … Conference on Advanced Information Networking and …, 2022 - Springer
A high level specification provides the behavioral aspects of a protocol, ie, the functional or
logical properties. Such a specification should say what a protocol is allowed to do and not …