论文部分内容阅读
提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大的并发度。着重研究Ｘ－进程的代数性质。
一新型移动进程模型—x—演算
【摘 要】
：
提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大的并发度。着重研究Ｘ－进程的代数性质。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
1997年8期
【基金项目】
：
国家自然科学基金
其他文献
介绍了基于网络分布环境的远程打印服务系统（ＲＬＰ）的设计目的，功能，结构和基本工作流程，着重讨论了打印作业的网络传输与状态跟踪方案，对网络传输故障，本机崩溃，过量远程请求等影响系统健
传统的教师讲授型教学模式不能满足教育技术公共课教学的学习需要,全文介绍了VLEs的内涵与组成,VLEs环境下的师范专科教育技术公共课教学探究学习的优势,VLEs平台的特点,以教
通过对企业激励机制的分析，指出当且仅当不同企业所属的产品市场不存在相关性时，经理市场才没有任何作用；否则，企业总是可以通过产品市场的竞争来促进经理市场的竞争并从中获利。
介绍以C#为前台的Client端开发工具,采用ajax技术,以SQL Server 2000为后台的Server数据库服务器环境,基于Ajax的高校大学生德育教育管理系统的设计与开发。
运用ＩＳ－ＬＭ框架对构造的非瓦尔拉斯客观经济周期模型进行了研究，阐述了配给过程中的经济波动规律，结合我国经济的实际情况，对经济体系运行作了探讨。
蒸汽发生器传热管破损的氮１６辐射监测对核电站安全运行具有重要意义。文中建立了γ光子与探测器介质作用的简化数学物理模型，采用蒙特卡罗方法和间接处理技术对ＮａＩ探测器效率因子Ｋ１２进
对质量／弹簧Ｂｅｎｃｈｍａｒｋ问题的鲁棒性能进行了研究，给出了设计方法，设计过程和设计结果，并对其进行了分析。
信息交换平台以基于SOA的企业服务总线为支撑,以Web Service方式提供一致的信息交换报文规范及服务,实现了信息交换服务请求的访问控制、消息转换、服务路由,通过多种信息交
文章对ipv6基本概念,ipv6的实现技术及实现ipv6的现行技术进行了阐述,结合学校校园网的ipv6实际解决方案,系统描述了ipv6在网络出口设备Cisco6503上的配置和在ipv6在网络核心