并行面向对象语言的Action演算语义

JIN Ying ,JIN Cheng-zhi

College of Computer Science and Technology , Jilin University , Changchun 130012 , China

CLC Number:

JIN Ying ,JIN Cheng-zhi. Action Calculus Semantics for Parallel Object-Oriented Language[J].J4, 2002, 40(04): 363-368.

[1]	DONG Liyan, ZHANG Gaoxiang, SUN Bo, LANG Yining. Ambiguity Resolution Algorithm for Mapping from Natural Language to SPARQL Languege [J]. Journal of Jilin University Science Edition, 2016, 54(03): 535-538.
[2]	LI Rui xia, SU Shou bao, ZHOU Xian cun. XML Keyword Query Ranking Method Using Semantic Relevancy [J]. Journal of Jilin University Science Edition, 2013, 51(06): 1118-1122.
[3]	JIN Ying, ZHENG Xiaojuan, ZHANG Jing, SUN Xudong. Multi-paradigm Based Instruction Assistant System forFormal Semantics Course [J]. J4, 2009, 47(03): 530-536.
[4]	BAO Tie, LIU Shufen, QI Zhihan. Research and Application of an Executable Metamodel Approach [J]. J4, 2009, 47(01): 69-74.
[5]	LIU Lei, SONG Yajuan, ZHANG Yinping. An Algorithm for Dynamic Composition of Web ServicesBased on Description Logics [J]. J4, 2008, 46(02): 259-264.
[6]	GUO Degui, LIU Lei, ZHANG Jing. Operational Semantics for Singleaction Statements of C/ATLAS [J]. J4, 2008, 46(01): 55-61.
[7]	ZHANG Hong, LIU Lei. πCalculus Semantics for Combinator Calculi [J]. J4, 2006, 44(03): 391-396.
[8]	JIN Ying， JIN Cheng-zhi，ZHENG Shuang. Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi [J]. J4, 2003, 41(01): 54-58.

Like