A generalized message-passing mechanism for communicating sequential processes | IEEE Journals & Magazine | IEEE Xplore