弱并发Kleene代数及其在代数验证中的应用

摘要:一种考虑并发概率效应的并发克林代数的推广

作者:Annabelle McIver and Tahiry Rabehaja and Georg Struth

论文ID:1301.7153

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2013-01-31

PDF 下载: 英文版 中文版pdf翻译中