Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems-中国期刊网

摘要 Inthestudyofprocesscalculi,encodingbetweendifferentcalculiisaneffectivewaytocomparetheexpressivepowerofcalculiandcanshedlightontheessenceofwherethedifferencelies.ThomsenandSangiorgihaveworkedonthehigher-ordercalculi(higher-orderCalculusofCommunicatingSystems(CCS)andhigher-orderπ-calculus,respectively)andtheencodingfromandtofirst-orderπ-calculus.Howeverafullyabstractencodingoffirst-orderπ-calculuswithhigher-orderCCSisnotavailableup-today.Thisiswhatweintendtosettleinthispaper.Wefollowtheencodingstrategy,firstproposedbyThomsen,oftranslatingfirst-orderπ-calculusintoPlainCHOCS.Weshowthattheencodingstrategyisfullyabstractwithrespecttoearlybisimilarity(first-orderπ-calculus)andwiredbisimilarity(PlainCHOCS)(whichisabisimulationdefinedonwiredprocessesonlysendingandreceivingwires),thatisthecoreoftheencodingstrategy.Moreoverfromthefactthatthewiredbisimilarityiscontainedbythewell-establishedcontextbisimilarity,wesecurethesoundnessoftheencoding,withrespecttoearlybisimilarityandcontextbisimilarity.Weuseindextechniquetogetaroundallthetechnicaldetailstoreachthesemainresultsofthispaper.Finally,wemakesomediscussiononourworkandsuggestsomefuturework.

1姜文安;李状君;罗绍凯. Mei symmetries and Mei conserved quantities for higher-order nonholonomic constraint systems.物理,2011-03.
2Hugh R. MacMillan;Max D. Gunzburger;John V. Burkardt. Meshfree First-order System Least Squares.基础数学,2008-01.
3Kaili ZHUANG. Exact Controllability with Internal Controls for First-Order Quasilinear Hyperbolic Systems with Zero Eigenvalues.基础数学,2016-04.
4Ying GAO. Higher-order Symmetric Duality in Multiobjective Programming Problems.基础数学,2016-02.
5Wang Jinfeng Pi Yiming. SAR tomography imaging via higher-order spectrum analysis.物理电子学,2009-04.
6Li Tan;Jean Jiang;Liangmo Wang. Simple Recursion for Designing Higher-Order FIR Digital Differentiators.计算机应用技术,2011-10.
7Tang, YF. A NOTE ON CONSTRUCTION OF HIGHER-ORDER SYMPLECTIC SCHEMES FROM LOWER-ORDER ONE VIAFORMAL ENERGIES.计算数学,1999-06.
8Sun, G;Wu, HM;Wang, LE. FIRST-ORDER AND SECOND-ORDER, CHAOS-FREE, FINITE DIFFERENCE SCHEMES FOR FISHER EQUATION.计算数学,2001-05.
9Tie Zhang Datao Shi Zhen Li. THE OPTIMAL CONVERGENCE ORDER OF THE DISCONTINUOUS FINITE ELEMENT METHODS FOR FIRST ORDER HYPERBOLIC SYSTEMS.计算数学,2008-05.
10王志成. A NECESSARY AND SUFFICIENT CONDITION FOR THE OSCILLATION OF HIGHER-ORDER NEUTRAL EQUATIONS WITH SEVERAL DELAYS.基础数学,1991-03.

Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems

来源期刊

相关推荐

同分类资源更多

相关关键词

Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多