补偿通信顺序进程的扩展及失败发散语义

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

补偿通信顺序进程的扩展及失败发散语义

陈振邦, 王戟, 齐治昌

An Extended cCSP with Failure Divergence Semantics

CHEN Zhen-Bang, WANG Ji, JI Chi-Chang

J4 . 2010, (3): 89 -95 . DOI: 10.3969/j.issn.1007130X.2010.