Combine and conquer: Relating BIP and Reo

Kasper Dokter, Sung-Shik T. Q. Jongmans, Farhad Arbab, Simon Bliudze. Combine and conquer: Relating BIP and Reo. Journal of Logic and Algebraic Programming, 86(1):134-156, 2017. [doi]

Abstract

Abstract is missing.