Communications directed by bound types in Linda: presentation and formal model | IEEE Journals & Magazine | IEEE Xplore