Value-passing CCS with noisy channels

Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanling Qu. Value-passing CCS with noisy channels. Theoretical Computer Science, 433:43-59, 2012. [doi]

Abstract

Abstract is missing.