Trading Off Concurrency to Generate Behavioral Adapters

Adapters are used to establish proper interaction between systems that have been developed independently. We study an approach for generating behavioral adapters, and propose some substantial improvements regarding the computation time and the complexity of the result. The key insight is to eliminate and introduce concurrency at appropriate places in the generation process. Finally we discuss how our modifications affect the behavior of the generated adapters.