题名:Process algebra :
作者:Baeten, J. C. M.
出版年:2010
ISBN: 9780521820493
分类号: TP301.6
中图分类: 算法理论