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]

Authors

Shuqin Huang

This author has not been identified. Look up 'Shuqin Huang' in Google

Yongzhi Cao

This author has not been identified. Look up 'Yongzhi Cao' in Google

Hanpin Wang

This author has not been identified. Look up 'Hanpin Wang' in Google

Wanling Qu

This author has not been identified. Look up 'Wanling Qu' in Google