Specifications and Verification of Network Protocols by Process Algebra.

Gabriel Ciobanu, K. N. Sridhar

Browse the full SYNASC paper archive.