Generation of Proper Adapters and Converters From A Formal Service Specification.

Kaoru Okumura

Browse the full INFOCOM paper archive.