Automating Synthesis of Asynchronous Communication Mechanisms

Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms. In Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France. pages 166-175, IEEE Computer Society, 2005. [doi]

Authors

Jordi Cortadella

This author has not been identified. Look up 'Jordi Cortadella' in Google

Kyller Costa Gorgônio

This author has not been identified. Look up 'Kyller Costa Gorgônio' in Google

Fei Xia

This author has not been identified. Look up 'Fei Xia' in Google

Alexandre Yakovlev

This author has not been identified. Look up 'Alexandre Yakovlev' in Google