多栈下推系统相关硕士博士期刊学术论文 - 搜论网

多栈下推系统相关论文

基于限定步长的消息队列并发程序可达性算法分析

针对消息队列并发程序执行过程中可达性问题上存在的不确定性,将消息队列并发程序转换为多栈下推系统,利用饱和过程,构造一个可以......

期刊

可达性限定步长消息队列并发程序多栈下推系统 ReachabilityBounded PhaseMessage QueuesConcurrent Prog

看过本文同时还关注