标号转移系统相关论文
基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).......
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这......
关系最粗粒度的划分问题PCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法,其中假设标号转移系统中有m个转......