随机进程代数(SPA)相关论文
随机进程代数(SPA)是一种功能与性能相结合的并发系统模型,是通过给经典进程代数模型中的动作发生附加上一个随机变量值,来反映在系......
学位