On estimating protocol performance from a formal specification.

Raymond E. Miller, Z. U. Chaudry

Browse the full IPCCC paper archive.