项表示相关硕士博士期刊学术论文

基本图是一种描述并发交互诉形式化方法，它具有描述简洁、清晰和直观的特点，在基本图中，进程以及进程间的交互行为，既可以用图表示方法......