Topology in Process Calculus (I): Limit Behaviour of Agents

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:wdyan297
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper introduces the modifications onactions of a topology on names of actions and the simplest topology onagents induced by a topology on names of actions and shows that the limitbehaviour of some agents is compatible with transitional semantics.
其他文献
A Function Definition Language (FDL) ispresented. Though designed fordescribing specifications, FDL is also ageneral-purpose functional programminglanguage. It
Java Beans is a standard for softwarecomponents. For checking theconsistency of the Java Beans semanticconstraints with its implementation, thispaper proposes a
目的:研究分析上消化道出血患者内科护理临床效果。方法:选取2012年2月-2014年10月期间收治的上消化道出血患者84例,所有患者均按照数字随机法分为对照组和观察组,每组各42例,对照
Concurrence is an important researcharea in collaborative problem solving.This paper offers a formaldefinition for cooperative sequences in multi-agentsystems,
An algorithm for solving thesatisfiability problem is presented. It is proved that this algorithmsolves 2-SAT and Horn-SAT in linear time and k-positive SAT(in
The paper discusses semantics ofencodings in logical frameworks where equalities in object calculi arerepresented by families of types as the case in ELF.The no
A view in object oriented databasescorresponds to virtual schema with restructured generalization anddecomposition hierarchies. Numbers of view creation methodo
目的:探讨护理干预对社区糖尿病患者自我管理能力的影响。方法:选取参与社区糖尿病慢性病管理的糖尿病患者80例,从心理、健康教育、饮食、运动以及服药等方面进行护理干预,比较护
This paper establishes a formal modelfor hybrid diagnosis, novel features including: (1) It provides aunified theoretical framework for utilizing device models
Double-loop is a very popular structure in loop network topology. Areconfigurable bi-directional double-loop structure is recentlydeveloped. It has a new struct