期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
1
作者 杨非 黄浩 《Journal of Shanghai Jiaotong university(Science)》 EI 2015年第3期273-280,共8页
A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rule... A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP). 展开更多
关键词 regularity checking totally normed process algebra(PA) weak bisimulation
原文传递
A Logical Characterization for Linear Higher-Order Processes
2
作者 徐贤 龙环 《Journal of Shanghai Jiaotong university(Science)》 EI 2015年第2期185-194,共10页
Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high... Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes. 展开更多
关键词 modal logic BISIMULATION LINEARITY HIGHER-ORDER process calculi
原文传递
Process Passing Calculus,Revisited
3
作者 尹强 龙环 《Journal of Shanghai Jiaotong university(Science)》 EI 2013年第1期29-36,共8页
In the context of process calculi, higher order π calculus (A calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ... In the context of process calculi, higher order π calculus (A calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus. 展开更多
关键词 higher order π-calculus encoding EXPRESSIVENESS BISIMULATION
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部