Trading off concurrency to generate behavioral adapters

Adapters are used to establish proper interaction betweensystems that have been developed independently. We study anapproach for generating behavioral adapters, and proposesome substantial improvements regarding the computationtime and the complexity of the result. The key insight is toeliminate and introduce concurrency at appropriate placesin the generation process. Finally we discuss how ourmodifications affect the behavior of the generated adapters