Typed connector families and their semantics

Publication
Sci. Comput. Program.