Gabriel Ciobanu, K. N. Sridhar. Specifications and Verification of Network Protocols by Process Algebra. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 250-258, IEEE Computer Society, 2005. [doi]
Abstract is missing.