Modeling and Verifying Concurrent Programs with Finite Chu Spaces-中国期刊网

摘要 FiniteChuspacesareproposedforthemodelingandverificationofconcurrentprograms.Inordertomodelnotonlytypicalconcurrentbehaviorsbutalsomodernexceptionhandlingandsynchronizationmechanisms,wedesignanenrichedprocessalgebraofChuspacesfromapracticalpointofview.ToillustratethepoweroffiniteChuspacesandtheprocessalgebrawhileabstractingawayfromlanguage-specificdetails,animaginaryconcurrentprogramminglanguage(ICL)isdesigned.AdenotationalsemanticsofICLispresentedusingfiniteChuspacesandtheenrichedprocessalgebra.Thevaluationfunctionsarefairlystraightforwardsincethecarefullydesignedoperatorshavedonemuchofthejob.TheenrichedprocessalgebraisalsousedasthespecificationlanguageforChuspaces,withwhichprocess-algebraicpropertiescanbespecified.Verificationalgorithmsarepresentedwiththeirtimecomplexitiesdiscussed.

1李隆;张昱;陈意云;李勇. Certifying Concurrent Programs Using Transactional Memory.计算机科学与技术,2009-01.
2Jose Manuel dos Santos Simoes Pereira. On Boolean Functions Associated to Finite Aligned Spaces.基础数学,2018-03.
3WangRunqiut;JiaXiaofeng;HuTlanyue. The Precise Finite Difference Method for Seismic Modeling.地球物理学,2004-02.
4WANG Tian;XI Ping;LI Ji-xing. Rapid Modeling and Finite Element Analysis of Missile Stiffener.计算机应用技术,2015-03.
5张铁;黄明游. SUPERCONVERGENCE OF RITZ-VOLTERRA PROJECTION ON FINITE ELEMENT SPACES.基础数学,1996-02.
6徐殿祥;Senior Member;Omar EI-Aris;许巍峰;王林章. Aspect-Oriented Modeling and Verification with Finite State Machines.计算机科学与技术,2009-05.
7LI Si;CHAI Guo-hong;SUI Xiao-hong;LAN Ning. Finite Element Modeling of Cutaneous Electrical Stimulation for Sensory Feedback.生物医学工程,2014-04.
8Anton BETTEN;Anne DELANDTSHEER;Maska LAW;Alice C. NIEMEYER;Cheryl E. PRAEGER;Shenglin ZHOU. Finite Line-transitive Linear Spaces： Theory and Search Strategies.基础数学,2009-09.
9Sahbi BOUSSANDEL. EXISTENCE AND UNIQUENESS OF PERIODIC SOLUTIONS FOR GRADIENT SYSTEMS IN FINITE DIMENSIONAL SPACES.基础数学,2016-01.
10Yujuan DUAN;Qin WANG;Xianjin WANG. Property A and Uniform Embeddability of Metric Spaces Under Decompositions of Finite Depth.基础数学,2010-01.

Modeling and Verifying Concurrent Programs with Finite Chu Spaces

来源期刊

相关推荐

同分类资源更多

相关关键词

Modeling and Verifying Concurrent Programs with Finite Chu Spaces

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多