Within my current research project I need to implement a network protocol in python. I have the formal specifications and process definitions on what the protocol shall fulfill.