North-Holland
Science of Computer Programming
Computer Security

Meng, S., Arbab, F., & Baier, C. (2011). Synthesis of Reo circuits from scenario-based interaction specifications. Science of Computer Programming, 76(8), 651–680.