良序排队相关硕士博士期刊学术论文 - 搜论网

良序排队相关论文

基于上下文定界的递归队列并发程序可达性分析

基于无界FIFO消息队列的通信框架作为一种通用的并发系统模型，常用于事件驱动的并发程序或分布式程序建模．然而当模型包含递归过程调......

期刊

上下文定界良序排队可达性递归并发程序 context-bounded well-queuing reachability recursion c

看过本文同时还关注