计算机科学 ›› 2014, Vol. 41 ›› Issue (11): 99-102.doi: 10.11896/j.issn.1002-137X.2014.11.019
张威
ZHANG Wei
摘要: 进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动作的类型,直观上,表达了状态的行为数目越多但并不一定越好的事实。然而,该模拟关系忽略了可观测动作与内动作的区别。因此,给出一种弱共变-逆变模拟关系及其相应的公理刻画,并且建立了该公理系统的可靠性与基完备性,进而证明了该公理系统亦是ω-完备的。
[1] Baeten J C M,Basten T,Basten T,et al.Process algebra:equational theories of communicating processes[M].Cambridge University Press,2010 [2] Bergstra J A,Klop J W.Process algebra for synchronous communication[J].Information and control,1984,60(1):109-137 [3] Milner R.Communication and concurrency[M].Prentice-Hall,Inc.,1989 [4] Hoare C A R.Communicating sequential processes[J].Communications of the ACM,1978,21(8):666-677 [5] Van Glabbeek R J.The linear time-branching timespectrum I[C]∥The Semantics of Concrete,Sequential Processes.Handbook of Process Algebra.Elsevier,2001:3-99 [6] Aceto L,De Frutos Escrig D,Gregorio-Rodríguez C,et al.Axiomatizing weak simulation semantics over BCCSP[J].Theoretical Computer Science,2014,7:42-71 [7] Fábregas I,De Frutos Escrig D,Palomino M.Logics for contravariant simulations[M]∥Formal Techniques for Distributed Systems.Springer Berlin Heidelberg,2010:224-231 [8] Fábregas I,De Frutos Escrig D,Palomino M.Non-strongly stable orders also define interesting simulation relations[M]∥Algebra and Coalgebra in Computer Science.Springer Berlin Heidelberg,2009:221-235 [9] Fábregas I,Escrig D F,Palomino M.Equational characterization of covariant-contravariant simulationand conformance simulation semantics[C]∥Proceedings Seventh Workshop on Operational Semantics.Paris,France,2010:1-14 (下转第106页)(上接第102页) [10] Aceto L,Fábregas I,De Frutos Escrig D,et al.Relating modal refinements,covariant-contravariant simulations and partial bisimulations[M]∥Fundamentals of Software Engineering.Springer Berlin Heidelberg,2012:268-283 [11] Hennessy M C B,Milner R.Algebraic laws for nondeterminism and concurrency[J].JACM,1985,32(1):137-161 [12] Glabbeek R J.The linear time-branching time spectrum II[C]∥Proceedings of the 4th International Conference on Concurrency Theory.Springer-Verlag,1993:66-81 [13] De Nicola R,Hennessy M C B.Testing equivalences for proces-ses[J].Theoretical Computer Science,1984,34(1):83-133 [14] Van Glabbeek R J,Weijland W P.Branching time and abstrac-tion in bisimulation semantics[J].JACM,1996,43(3):555-600 [15] Plotkin G.A structural approach to operational semantics[J].Journal of Logic and Algebraic Programming,2004(60):17-139 [16] Chen Tao-lue.Clocks,dice and processes[D].Dutch:Universiteit van Amsterdam,2009 [17] 王精明,虞慧群.基于安全进程代数的非演绎安全模型的分析与验证[J].计算机科学,2012,9(2):56-58 |
No related articles found! |
|