Functional BIP: Embedding connectors in functional programming languages

Romain Edelmann, Simon Bliudze, Joseph Sifakis. Functional BIP: Embedding connectors in functional programming languages. Journal of Logic and Algebraic Programming, 92:19-44, 2017. [doi]

Abstract

Abstract is missing.