A Functional Programming Framework for Latency Insensitive Protocol Validation