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

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

金英　金成植

吉林大学计算机科学与技术学院,长春,130012

收稿日期:2001-12-10 修回日期:1900-01-01 出版日期:2002-10-26
通讯作者: 金英

Action Calculus Semantics for Parallel Object-Oriented Language

JIN Ying ,JIN Cheng-zhi

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

Received:2001-12-10 Revised:1900-01-01 Online:2002-10-26
Contact: JIN Ying

摘要/Abstract

摘要： 给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.

关键词: Action演算簇, 并行面向对象语言, 转换语义

Abstract: In this paper an action calculus , having the expressing power for π-calculus , is defined , and the transition semantics of parallel object-oriented language is presented by translating every syntactic entity into the actions of the action calculus.

Key words: action calculi, parallel object-oriented language, semantics

中图分类号:

TP301

金英　金成植. 并行面向对象语言的Action演算语义[J]. J4, 2002, 40(04): 363-368.

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

[1]	杨勇, 张磊, 曲福恒, 刘俊杰, 陈强. 基于最频繁项提取和候选集剪枝的THIMFUP算法[J]. 吉林大学学报(理学版), 2021, 59(3): 635-642.
[2]	李永丽, 王浩, 金喜子. 基于随机森林优化的自组织神经网络算法[J]. 吉林大学学报(理学版), 2021, 59(2): 351-358.
[3]	张强, 朱刘涛, 王颖. 基于文化混洗蛙跳算法求解连续空间优化问题[J]. 吉林大学学报(理学版), 2020, 58(6): 1443-1451.
[4]	陈静, 唐傲天, 刘震, 徐森, 曹晓聪. 一种基于Kriging模型加点策略的多目标粒子群优化算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1159-1166.
[5]	董立岩, 修冠宇, 马佳奇. 基于权重调节和用户偏好的协同过滤算法[J]. 吉林大学学报(理学版), 2020, 58(3): 599-604.
[6]	王晓宇, 李闯, 王海燕. 一种生成不完备诊断模型的方法[J]. 吉林大学学报(理学版), 2019, 57(5): 1207-1213.
[7]	白云霄. 基于集合理论的求解Ramsey数算法[J]. 吉林大学学报(理学版), 2019, 57(3): 647-652.
[8]	董立岩, 王宇, 任怡, 李永丽. 基于矩阵分解和聚类的协同过滤算法[J]. 吉林大学学报(理学版), 2019, 57(1): 105-110.
[9]	杨雪, 董红斌, 董宇欣. 改进的量子粒子群优化算法对多维多选择背包问题的求解[J]. 吉林大学学报(理学版), 2018, 56(6): 1461-1468.
[10]	金晓民, 张丽萍. 基于最小生成树的多层次k-Means聚类算法及其在数据挖掘中的应用[J]. 吉林大学学报(理学版), 2018, 56(5): 1187-1192.
[11]	徐中宇, 苏明玉, 姚庆安. 基于改进PSO算法的混合核SVM算法[J]. 吉林大学学报(理学版), 2018, 56(3): 625-630.
[12]	欧阳丹彤, 罗知雨, 耿雪娜, 张立明. 分布式离散事件系统的安全可诊断性算法[J]. 吉林大学学报(理学版), 2018, 56(3): 594-600.
[13]	廖星星, 孙胜利, 金钢. 智能实验室物理实体的形式化方法[J]. 吉林大学学报(理学版), 2018, 56(2): 389-394.
[14]	张为民, 李坷露, 李永丽. 基于社交关系和条件补全的协同过滤推荐算法[J]. 吉林大学学报(理学版), 2017, 55(05): 1244-1248.
[15]	王多民, 刘淑芬. 一种使用log函数的新型修正激活单元LogReLU[J]. 吉林大学学报(理学版), 2017, 55(03): 617-622.