非對稱χ39;≠演算符號互模擬驗證

1、浙江師范大學碩士學位論文非對稱χ演算符號互模擬驗證姓名：黃銀強申請學位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：鐘發(fā)榮20061201THEVERIFICATIONOFSYMBOLICBISIMULATIoNSINASYMMETRICX≠CALCULUSABSTRACTWiththerapiddevelopmentofcomputertechnologyandnetworkcommunication，con—currentanddist

2、ributedsystemsthatfeatureconcurrenc，distribution，realtime。heterogeneityandinteropcrabilityhavebecomethemaindirectionofcurrentcomputertechnologyMeanwhile，theintrinsiccomplexityofconcurrentdistributedcomputationmakestheinv

3、estigationanddevelopmentofconcurrentdistributedsystemverydifficuItandthecorrectnessanddependabilityofsuchkindofsystemistoodifficulttobeassuredThereforeassuringthecorrectnessanddependabilityofsuchkindofsystemiswhatshouldb

4、esolvedurgentlyMlilcapplyingtheformalmethodtothespecificationandverificaionofsystemsisanimpurtamapproachtosolvethisproblemTheprocessalgebraisanimportantkindofformalizationThewellknownprocessalgebrasincludeCCS，CSPand77rca

5、iculusTheprocessalgebra，suchas7rcaiculus。iswidelyappliedtospecificationdescription，analysis，design，verificationandinformationsecurityofconcurrentdistributedsystembecauseofi協(xié)conciseconceptsrichavailablemathematicaltoolsan

6、dflexiblemathematicalmethodsThexcalculusisthedevelopmentof7，rcaicuinsFromtheoperationalviewpointtheX—calculusisasymmetricmobileprocesscalculusobtainedfromrcalculusbyremovingasymmetryofthelatter11lismodificationresultsins

7、ignificantchangeinobservationalpropertiesManyaspectsofthexcalculushavebeenstudiedTheseinvestigationshelpUStoimproveourunderstandingof7rlikecalculusformobileprocessesInterestingresultsabouttheXCalculusincludetherevelation

8、ofthesubtletyoftheweakobservationalequivalencerelationsandthediscoveryofthecomplexlawsfortheserelationsButintheconcurrentdistributedsystems，mostofthemcommunicatewitheachotherasymmetricallyandthemismatchcombinatorisoftenr

9、equiredTherefore，WestudyasymmetricX#Calculus，theX—calculuswithasymmetriccommunicationandmismatchoperatorinthisthesis11圮maincontributionofthethesisincludesthefollowingthreeaspects：1InspiredbyFuYuxi’Sopenbisimulationsdefin