Synthesis of Reo circuits from scenario-based interaction specifications

Sun Meng, Farhad Arbab, Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications. Science of Computer Programming, 76(8):651-680, 2011. [doi]

Abstract

Abstract is missing.