ALGORITHM FOR VERIFYING STRONG OPEN BISIMULATION IN FULL

来源 :上海交通大学学报：英文版 | 被引量 : 0次 | 上传用户：ZCHHZCHH

【摘要】

：

［1］Milner R, Parrow J, Walker D. A calculus of mobile processes[J]. Information and computation, 1992,100:1～77.［2］Milner R. Communication and Concurrency[M]. [s.l.]：

【作者】

：

DENG Yu-xin(

【出处】

：

上海交通大学学报：英文版

【发表日期】

：

2001年2期

【基金项目】

：

National Natural Science Foundation of China ( No. 6 98730 32 ) ,86 3Hi-Τ ech Project ( 86 3-30 6 -ZT-0 6 -0 2 -2 )

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

［1］Milner R, Parrow J, Walker D. A calculus of mobile processes[J]. Information and computation, 1992,100:1～77.［2］Milner R. Communication and Concurrency[M]. [s.l.]： Prentice Hall, 1989.［3］Pierce B, Sangiorgi D. Typing and subtyping for mobile processes[J

其他文献

Comparison Between Two Solutions Based on the Relationship of Load—deflection Character of a Large D

The rubber circular plate is considered as a kind of membrane. Based on the character that there existsno bending-moment inside a membrane, the geometric behavi

期刊

橡胶圆盘几何特征数值解数值计算大偏转负载Hencky解直接解弯拒弹性力学rubber circular plate large deflec

建筑企业应加强施工项目管理

随着社会主义市场经济的发展,施工企业要在激烈的市场竞争中求得生存与发展,只有改变原有的施工管理体制,建立以施工项目为管理对象,以项目经理负责制和项目成本核算制为基础

期刊

组织机构项目管理建筑企业

AN FFT-BASED SELF-SIMILAR TRAFFIC GENERATOR

The self-similarity of the network traffic has great influences on the performance. But there are few analytical or even numerical solutions for such a model. S

期刊

The Trends and Tasks of Modeling and Simulation for Reduction of Heat Treatment Distortion

期刊

SimulationmodelHeattreatmentMaterialsdatabaseCOOLINGpowerDISTORTIONSim

大跨度分岔隧道施工优化与地表沉降控制

为了探寻到能确保大跨度分岔隧道施工过程中使地表沉降控制在所要求的范围内的最优施工方案,首先采用数值模拟方法,对6种工法进行优化比选,初步确定工法1为最优工法,并在此基

期刊

隧道工程地表沉降数值模拟分岔隧道优化分析

珠海改革开放的历史回顾、主要成就与经验教训

珠海经过30年改革开放,已发展成为经济社会全面发展的珠江三角洲中心城市和东南沿海重要的风景旅游城市,在经济发展、对外贸易、港澳合作、社会进步等方面获得全面发展,但珠

会议

珠海经验成就回顾

RESEARCH ON THE DYNAMIC MATHEMATICAL MODELOF REHEATING FURNACE

This paper presented a dynamical mathematical model for reheating furnace based on energy balance, which consists of three submodels. With the inputting paramet

期刊

如何全方位提升“资优生”的素养

广泛参加社会实践、立志锻炼、陶冶情操对培养社会资优人才有非常重要的意义。

期刊

资优生社会实践活动素养人际交往生命教育

人生该如喜剧般美妙

看过TheTwilightSaga：NewMoon（暮光之城：新月）的朋友应该会对影片中的插曲SatelliteHeart印象深刻。这首清新淡雅、用’情颇深的民谣作品，来自于美国California的独立创作女歌手An

期刊

喜剧人生独立创作女歌手插曲影片

生态经济与生态文明建设探讨

我国目前是发展中国家,经济发展迅速,然而在过快的经济发展下,出现的是以牺牲生态环境为代价的盲目对经济增长的追求,这便造成了大量的污染企业以及对生态环境造成严重破坏的

期刊

生态经济建设

ALGORITHM FOR VERIFYING STRONG OPEN BISIMULATION IN FULL

其他学术论文