Constructing Protocol Converters from Service Specifications.

Yow-Wei Yao, Ming T. Liu

Browse the full ICDCS paper archive.