A functional logic for higher level reasoning about computation John StaplesPeter J. RobinsonDaniel Hazel OriginalPaper Pages: 1 - 38
A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol J Strother Moore OriginalPaper Pages: 60 - 91
The formalization and analysis of a communications protocol Glenn BrunsStuart Anderson OriginalPaper Pages: 92 - 112