【摘 要】
：
This paper introduces the modifications on actions of a topologyon names of actions and the simplest topology on agents induced by a topology onnames of actions
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
This paper introduces the modifications on actions of a topologyon names of actions and the simplest topology on agents induced by a topology onnames of actions and shows that the limit behaviour of some agents is compatiblewith transitional semantics.
This paper introduces the modifications on actions of a topology on names of actions and the simplest topology on agents induced by a topology on names of actions and shows that the limit behavior of some agents is compatible with transitional semantics.
其他文献
根据中国电子学会生产技术学会的有关规定,为了交流四年来我国电子工业战线所取得的成就,以促进电子产品的高可靠和高效益,决定于一九八四年第二季度召开第二届全国电子工业
外语符码广泛地出现在非涉外的公共语域中,已经成为明显的语言现象.外语在异城的使用体现了外语符码的非交际性使用功能,以及这一现象所反映出国人在社会转型期的心理状况与
本文介绍罗姆航空研究中心高功率实验室对一种高功率线性注四极开关管所作的试验与鉴定。采用该器件作速调管放大器的串联调制器,所达到的参数为视频输出120千伏,工作比0.05,
“老伴”这个称呼,现一般用于老年夫妇之间,可是它原是太子对老太监的称呼。明朝宪宗皇帝朱见深册立九岁的儿子朱祐樘为太子,派宫中服侍他多年的太监覃吉做典
“Wife ” th
本文介绍栅控微波管高压调制器中各种不同电压电平信息传递的一种新方法。这种方法使用了由光纤维耦合的光电变换器。同时还介绍了传输信道、控制单元和故障指示等。
This a
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
杜老师:“拧”字有三个读音,很不好掌握,我常常分不清楚。请您讲解一下,谢谢。菲律宾留学生静茹静茹同学:“拧”字因声调不同,有三个读音:一、读二声níng。读níng的时候有
我是1957年拜的侯老。在此之前我学演的是武生和老生,有时也演一些花脸角色。记得有一次徐兰沅先生(梅兰芳的琴师)看了我演的《一捧雪》的戚继光和《恶虎村》的濮天雕后对我
“有眼不识泰山”比喻见闻太窄,只看表面现象,认不出地位高或本领大的人。通常人们认为这“泰山”是东岳泰山。实际上,此泰山非彼泰山,“有眼不识泰山”中的泰山并不是山名,
随着工业的发展,测绘技术在机械设计中占据着重要地位,而在测绘工程中往往会遇到若干问题,譬如把一个零件按实际测绘制造出来,发现并不能与装配部件进行装配;在测绘过程中由