Computer Science ›› 2020, Vol. 47 ›› Issue (1): 5158.doi: 10.11896/jsjkx.181102026
• Computer Science Theory • Previous Articles Next Articles
LI Suting^{1},ZHANG Yan^{2}
CLC Number:
[1]MILNER R.Communication and concurrency[M].PrenticeHall International,Englewood Cliffs,1989. [2]HOARE C A R.Communicating sequential processes[J].Communications of the Acm,1978,21(21):666677. [3]AUSTRY D,BOUDOL G.Algèbre de processus et synchronisation[J].Theoretical Computer Science,1984,30(1):91131. [4]FÁBREGAS I,FRUTOSESCRIG D,PALOMINO M.Equa tional Characterization of CovariantContravariant Simulation and Conformance Simulation Semantics[C]∥The Workshop on Structural Operational Semantics.2010:114. [5]ESCRIG F,DAVID D,RODRÍGUEZ,et al.Ready to preorder:an algebraic and general proof[J].Journal of Logic & Algebraic Programming,2009,78(7):539551. [6]GROOTE J F,VAANDRAGER F.Structured operational se mantics and bisimulation as a congruence[J].Information & Computation,1992,100(2):202260. [7]BLOOM B,ISTRAIL S,MEYER A R.Bisimulation Can’t be Traced:Preliminary Report[C]∥ACM Symposium on Principales of Programming Languages.ACM,1987:229239. [8]ACETO L,BLOOM B,VAANDRAGER F.Turning SOS rules into equations[C]∥Proceedings of the Seventh IEEESymposium on Logic in Computer Science,1992(LICS’92).IEEE,1994:113124. [9]D’ARGENIO P R,GEBLER D,LEE M D.Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules[C]∥International Conference on Foundations of Software Science and Computation Structures.2014:289303. [10]KLIN B,SASSONE V.Structural operational semantics for stochastic and weighted transition systems[J].Information & Computation,2013,227(2):5883. [11]BONCHI F,VAN BUSSEL T,LEE M D,et al.Bisimilarity of open terms in stream GSOS[M]∥Fundamentals of Software Engineering.Cham:Springer,2019:3550. [12]KLIN B.Bialgebras for structural operational semantics:An introduction[J].Theoretical Computer Science,2011,412(38):50435069. [13]ACETO L,FÁBREGAS I,GREGORIORODRÍGUEZ C,et al.Logical Characterisations and Compositionality of InputOutput Conformance Simulation[M]∥SOFSEM 2017:Theory and Practice of Computer Science.Cham:Springer,2017:3748. [14]ROT J.Distributive Laws for Monotone Specifications[C]∥ Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2017).EPTCS,2017:8397. [15]GLABBEEK V R J.The Linear TimeBranching Time Spectrum IThe Semantics of Concrete,Sequential Processes[M]∥Handbook of Process Algebra.Elsevier,2001:399. [16]LYNCH N.I/O automata:A model for discrete event systems[C]∥Annual Conference on Information Sciences and Systems.Princeton,N J,1988:2938. [17]FÁBREGAS I,ESCRIG D D F,PALOMINO M.Logics for Contravariant Simulations[M]∥Formal Techniques for Distributed Systems.Berlin:Springer,2010:224231. [18]FÁBREGAS I,ESCRIG D D F,PALOMINO M.Nonstrongly Stable Orders Also Define Interesting Simulation Relations[C]∥International Conference on Algebra and Coalgebra in Computer Science.SpringerVerlag,2009:221235. [19]KELLER R M.Formal verification of parallel programs[J]. Comm Acm,1976,19(7):371384. [20]BAETEN J C M,WEIJLAND W P.Process algebra[M].Cambridge:Cambridge University Press,1990. 
[1]  TAO Xiaoyan, YAN Chungang, LIU Guanjun. Dynamic Data Refining Strategy for Soundness Verification Based on WFTnet [J]. Computer Science, 2021, 48(7): 99104. 
[2]  WANG Hong, GUANG Lihe. Dominating Set Algorithm for Graphs Based on Vertex Order [J]. Computer Science, 2020, 47(11A): 444448. 
[3]  YANG Yue and ZHANG Desheng. Technology of Extracting Topical Keyphrases from Chinese Corpora [J]. Computer Science, 2017, 44(Z11): 432436. 
[4]  DAI Hua, YE Qingqun, YANG Geng, XIAO Fu and HE Ruiliang. Overview of Secure Topk Query Processing in Twotiered Wireless Sensor Networks [J]. Computer Science, 2017, 44(5): 613. 
[5]  WANG Ting,LIU Renren and MA Ke. Research on Classification of Precomplete Classes in Partial Multiplevalued Logic Function Sets [J]. Computer Science, 2014, 41(8): 6062. 
[6]  ZHANG Wei. Axiomatizing Weak Covariantcontravariant Simulation Semantics [J]. Computer Science, 2014, 41(11): 99102. 
[7]  HAN Jingyu and CHEN Kejia. Ranking Data Quality of Web Article Content by Extracting Facts [J]. Computer Science, 2014, 41(11): 247251. 
[8]  DAI Fei,LI Tong,XIE Zhongwen,MO Qi and JIN Yunzhi. Research on Structure Soundness of Software Processes Based on EPMM [J]. Computer Science, 2013, 40(8): 186190. 
[9]  . Some Results on the Decision of the Minimal Covering for Full Symmetric Function Sets in Partial Kvalued Logic [J]. Computer Science, 2012, 39(5): 205207. 
[10]  . Proving NPcompleteness of Polynomial Reduction from the SAT Problem to the MSP Problem [J]. Computer Science, 2012, 39(11): 179182. 
[11]  . Number of Simply Separable and Full Symmetric Relations in Partial Multiplevalued Logic [J]. Computer Science, 2012, 39(10): 224226. 
[12]  CHEN Weidong,ZHANG Weiming. Data Quality Model and Metrics Research at Attribute Granularity [J]. Computer Science, 2010, 37(5): 139142. 
[13]  . [J]. Computer Science, 2008, 35(8): 277280. 
[14]  ZHOU CongHua ,LIU ZhiFeng （School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang 212013）. [J]. Computer Science, 2008, 35(2): 115119. 
[15]  LIU Ji （State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing 210093）. [J]. Computer Science, 2007, 34(1): 203207. 
