Protocol Definition In Computer Science