Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin. A Functional Programming Framework for Latency Insensitive Protocol Validation. Electronic Notes in Theoretical Computer Science, 146(2):169-188, 2006. [doi]
Abstract is missing.