Protocol validation should rule out communicationally impossible protocols at compile-time.
Log in to post a comment.