Specifying the Xpress Transfer Protocol Using Estelle and Valira.

Y. T. Cheung, J. William Atwood

Browse the full FORTE paper archive.