联系方式
more本类最新英语论文
- 2017-09-10东方炒饭餐厅信息系统项目报..
- 2016-07-10美国计算机专业预科课程作业..
- 2016-04-21基于http iap的设计与实现
- 2016-04-14网上银行客户安全的意识问题
- 2015-11-16computer science essay-可..
- 2015-10-19英国计算机类畢業論文寫作注..
- 2015-05-30network development manag..
- 2015-03-01计算机视觉与图象阴影问题研..
- 2014-08-14英国留学论文-互联网如何影..
- 2014-08-06英国留学生计算机专业论文
more热门文章
- 2010-12-23关于计算机言语软件的开发研..
- 2014-07-31计算机网络留学生论文-云计..
- 2014-08-14英国留学论文-互联网如何影..
- 2015-05-30network development manag..
- 2010-12-23利用计算机技术虚拟环境的网..
- 2014-08-06英国留学生计算机专业论文
- 2014-04-21计算机网络设计computer ne..
- 2011-02-22audio fingerprinting:near..
- 2011-01-23留学生论文网：一种三维模型..
- 2011-04-19please find below eamples..
more留学论文写作指导
- 2024-05-14《反论》（节选）英汉翻译实..
- 2024-05-07《湖泊的一生》（节选）英汉..
- 2024-03-31卡森•麦卡勒斯小说中..
- 2024-03-28美国黑人女性心理创伤思考—..
- 2024-03-27乔治·艾略特《织工马南》中..
- 2024-03-21超越凝视：论《看不见的人》..
- 2024-03-19《哈克贝利•费恩历险..
- 2024-03-13心灵救赎之旅——从凯利的三..
- 2024-02-22文学地理学视角下的《印度之..
- 2023-05-03英、汉名词短语之形容词修饰..
爱丁堡大学计算机专业dissertation需求：Mobile Calculus [2]
论文作者：留学生论文论文属性：硕士毕业论文 dissertation登出时间：2011-04-13编辑：zn1987点击率：3510
论文字数：17422论文编号：org201104131435382199语种：英语 English地区：英国价格：$ 44
关键词：dissertationMobile Calculus
siano, E. and Zucca, E., Parametric channels via Label Expressions in CCS, Journal of Theor. Comp. Science, Vol 33, pp45{64, 1984.
3] Bergstra, J.A. and Klop, J-W., Algebra of Communicating Processes with
Abstraction, Journal of Theor. Comp. Science, Vol 33, pp77{121, 1985.
4] Boudol, G., Towards a Lambda-Calculus for Concurrent and Communicating
Systems, INRIA Sophia-Antip olis, private communication, 1988.
5] Clinger, W.D., Foundations of Actor Semantics, AI-TR-633, MIT Arti cial Intelligence Lab oratory, 1981.
6] Engb erg, U. and Nielsen, M., A Calculus of Communicating Systems with
Label-passing, Rep ort DAIMI PB{208, Computer Science Department, Uni-
versity of Aarhus, 1986.
7] Hoare, C.A.R., Communicating Sequential Pro cesses, Prentice Hall,
1985.
8] Leinwand, S., Goguen, J.A. and Winkler, T., Cel l and Ensemble Architec-ture for the Rewrite Rule Machine, Pro c. International Conference on Fifth Generation Computing Systems, ICOT, pp869{878, 1988.
9] Milner, R., Communication and Concurrency, Prentice Hall, 1989.
10] Milner, R., Functions as Processes, Research Rep ort 1154, INRIA, 1990.Also in abbreviated form in Pro c. ICALP '90.
11] Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Part II, Rep ort ECS-LFCS-89-86, Lab oratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989.
12] Nielson, F., The Typed -calculus with First-class Processes, Rep ort ID-TR:1988-43, Inst. for Datateknik, Tekniske Ho jskole, Lyngby, Denmark,
1988.
13] Ong, C-H.L., Ful ly Abstract Models of the Lazy Lambda Calculus, Pro c 29th Symp osium on Foundations of Computer Science, pp368{376, 1988.
14] Reisig, W., Petri Nets, EATCS Monographs on Theoretical Computer Sci-
ence, ed. W.Brauer, G.Rozenb erg, A.Salomaa, Springer Verlag, 1983.
15] Sleep, M.R. and Kennaway, J.R., The Zero Assignment Paral lel Proces-
sor (ZAPP) Project, in The Distributed Computing Systems Pro-gramme, ed. D.A.Duce, Peter Peregrinus Ltd., pp250{269, 1984.
16] Thomsen, B., A Calculus of Higher-order Communicating Systems, Pro c
POPL Conference, 1989.
本论文由英语论文网提供整理，提供论文代写，英语论文代写，代写论文，代写英语论文，代写留学生论文，代写英文论文，留学生论文代写相关核心关键词搜索。
3] Bergstra, J.A. and Klop, J-W., Algebra of Communicating Processes with
Abstraction, Journal of Theor. Comp. Science, Vol 33, pp77{121, 1985.
4] Boudol, G., Towards a Lambda-Calculus for Concurrent and Communicating
Systems, INRIA Sophia-Antip olis, private communication, 1988.
5] Clinger, W.D., Foundations of Actor Semantics, AI-TR-633, MIT Arti cial Intelligence Lab oratory, 1981.
6] Engb erg, U. and Nielsen, M., A Calculus of Communicating Systems with
Label-passing, Rep ort DAIMI PB{208, Computer Science Department, Uni-
versity of Aarhus, 1986.
7] Hoare, C.A.R., Communicating Sequential Pro cesses, Prentice Hall,
1985.
8] Leinwand, S., Goguen, J.A. and Winkler, T., Cel l and Ensemble Architec-ture for the Rewrite Rule Machine, Pro c. International Conference on Fifth Generation Computing Systems, ICOT, pp869{878, 1988.
9] Milner, R., Communication and Concurrency, Prentice Hall, 1989.
10] Milner, R., Functions as Processes, Research Rep ort 1154, INRIA, 1990.Also in abbreviated form in Pro c. ICALP '90.
11] Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes, Part II, Rep ort ECS-LFCS-89-86, Lab oratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989.
12] Nielson, F., The Typed -calculus with First-class Processes, Rep ort ID-TR:1988-43, Inst. for Datateknik, Tekniske Ho jskole, Lyngby, Denmark,
1988.
13] Ong, C-H.L., Ful ly Abstract Models of the Lazy Lambda Calculus, Pro c 29th Symp osium on Foundations of Computer Science, pp368{376, 1988.
14] Reisig, W., Petri Nets, EATCS Monographs on Theoretical Computer Sci-
ence, ed. W.Brauer, G.Rozenb erg, A.Salomaa, Springer Verlag, 1983.
15] Sleep, M.R. and Kennaway, J.R., The Zero Assignment Paral lel Proces-
sor (ZAPP) Project, in The Distributed Computing Systems Pro-gramme, ed. D.A.Duce, Peter Peregrinus Ltd., pp250{269, 1984.
16] Thomsen, B., A Calculus of Higher-order Communicating Systems, Pro c
POPL Conference, 1989.
本论文由英语论文网提供整理，提供论文代写，英语论文代写，代写论文，代写英语论文，代写留学生论文，代写英文论文，留学生论文代写相关核心关键词搜索。
英国
澳大利亚
美国
加拿大
新西兰
新加坡
香港
日本
韩国
法国
德国
爱尔兰
瑞士
荷兰
俄罗斯
西班牙
马来西亚
南非
