英语论文网

留学生硕士论文 英国论文 日语论文 澳洲论文 Turnitin剽窃检测 英语论文发表 留学中国 欧美文学特区 论文寄售中心 论文翻译中心 我要定制

Bussiness ManagementMBAstrategyHuman ResourceMarketingHospitalityE-commerceInternational Tradingproject managementmedia managementLogisticsFinanceAccountingadvertisingLawBusiness LawEducationEconomicsBusiness Reportbusiness planresearch proposal

英语论文题目英语教学英语论文商务英语英语论文格式商务英语翻译广告英语商务英语商务英语教学英语翻译论文英美文学英语语言学文化交流中西方文化差异英语论文范文英语论文开题报告初中英语教学英语论文文献综述英语论文参考文献

ResumeRecommendation LetterMotivation LetterPSapplication letterMBA essayBusiness Letteradmission letter Offer letter

澳大利亚论文英国论文加拿大论文芬兰论文瑞典论文澳洲论文新西兰论文法国论文香港论文挪威论文美国论文泰国论文马来西亚论文台湾论文新加坡论文荷兰论文南非论文西班牙论文爱尔兰论文

小学英语教学初中英语教学英语语法高中英语教学大学英语教学听力口语英语阅读英语词汇学英语素质教育英语教育毕业英语教学法

英语论文开题报告英语毕业论文写作指导英语论文写作笔记handbook英语论文提纲英语论文参考文献英语论文文献综述Research Proposal代写留学论文代写留学作业代写Essay论文英语摘要英语论文任务书英语论文格式专业名词turnitin抄袭检查

temcet听力雅思考试托福考试GMATGRE职称英语理工卫生职称英语综合职称英语职称英语

经贸英语论文题目旅游英语论文题目大学英语论文题目中学英语论文题目小学英语论文题目英语文学论文题目英语教学论文题目英语语言学论文题目委婉语论文题目商务英语论文题目最新英语论文题目英语翻译论文题目英语跨文化论文题目

日本文学日本语言学商务日语日本历史日本经济怎样写日语论文日语论文写作格式日语教学日本社会文化日语开题报告日语论文选题

职称英语理工完形填空历年试题模拟试题补全短文概括大意词汇指导阅读理解例题习题卫生职称英语词汇指导完形填空概括大意历年试题阅读理解补全短文模拟试题例题习题综合职称英语完形填空历年试题模拟试题例题习题词汇指导阅读理解补全短文概括大意

商务英语翻译论文广告英语商务英语商务英语教学

无忧论文网

联系方式

爱丁堡大学计算机专业dissertation需求:Mobile Calculus

论文作者:留学生论文论文属性:硕士毕业论文 dissertation登出时间:2011-04-13编辑:zn1987点击率:3483

论文字数:17422论文编号:org201104131435382199语种:英语 English地区:英国价格:$ 44

关键词:dissertationMobile Calculus

Mobile Calculus
University of Edinburgh, Scotland
Swedish Institute of Computer Science, Kista, Sweden
David Walker, University of Technology, Sydney, Australia

Abstract: We present the -calculus, a calculus of communicating systems in which one can naturally express pro cesses which have changing structure. Not only may the comp onent agents of a system be arbitrarily linked, but a commu-nication b etween neighb ours may carry information which changes that linkage.
The calculushttps://www.51lunwen.org/liuxuelunwendx/ is an extension of the pro cess algebra CCS, following work by En-gb erg and Nielsen who added mobility to CCS while preserving its algebraic prop erties. The -calculus gains simplicity by removing all distinction between variables and constants; communication links are identi ed by names, and com-putation is represented purely as the communication of names across links.
After an illustrated description of how the -calculus generalises conventional pro cess algebras in treating mobility, several examples exploiting mobility are given in some detail. The imp ortant examples are the enco ding into the -calculus of higher-order functions (the -calculus and combinatory algebra), the transmission of pro cesses as values, and the representation of data structures as pro cesses.

1 Intro duction
We present a calculus of communicating systems in which one can naturally
express pro cesses which have changing structure. Not only may the comp onent agents of a system b e arbitrarily linked, but a communication b etween neighb ours may carry information which changes that linkage.
The most mathematically develop ed mo dels of concurrency can at b est express this mobility { as we shall call it { indirectly. Examples are: Petri nets 14], CSP
7], ACP 3], CCS 9]. On the other hand there are mo dels which express mobility directly but which still require, in our view, a mathematical analysis留学生论文代写of their basic concepts such as we provide in this pap er. A well-known mo del of this kind, which has had considerable success in applications, is the Actors mo del of Hewitt 5]. In such mo dels, mobility is often achieved by allowing pro cesses to b e passed as
values in communication; we shall instead achieve it by allowing References to pro cesses, i.e. links, to b e communicated. This presents an interesting contrast with recent attempts to combine the ideas of -calculus and pro cess calculi by admitting pro cesses as values; examples are by Gerard Boudol 4], Flemming Nielson 12] and Bent Thomsen 16].The calculus given here is based up on the approach of U e Engb erg and Mogens Nielsen 6], who successfully extended CCS to include mobility while preserving its algebraic prop erties. In the concluding section we describ e in more detail what we have added to that work; roughly sp eaking, we retain (we hop e) its essence, but reduce its complexity and strengthen its elementary theory. We shall intro duce the calculus by means of a sequence of examples, which are clearly of practical signi cance and which fall naturally into the formalism. Let us b egin with a very simple example; we present it at rst in the notation of CCS, and we shall use informally a kind of diagram, which we call a ow graph, to represent the linkage b etween (or among) agents.

References
1] Abramsky, S., The Lazy Lambda Calculus, to app ear in Declarative Pro-
gramming, ed. D. Turner, Addison Wesley, 1988.
2] Aste论文英语论文网提供整理,提供论文代写英语论文代写代写论文代写英语论文代写留学生论文代写英文论文留学生论文代写相关核心关键词搜索。

共 1/2 页首页上一页12下一页尾页

英国英国 澳大利亚澳大利亚 美国美国 加拿大加拿大 新西兰新西兰 新加坡新加坡 香港香港 日本日本 韩国韩国 法国法国 德国德国 爱尔兰爱尔兰 瑞士瑞士 荷兰荷兰 俄罗斯俄罗斯 西班牙西班牙 马来西亚马来西亚 南非南非