文章基本信息
- 标题：On the Power of Name-Passing Communication
- 本地全文：下载
- 作者：Yuxi Fu
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2017
- 卷号：85
- 页码：22:1-22:15
- DOI：10.4230/LIPIcs.CONCUR.2017.22
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：It is shown that generally higher order process calculi cannot be interpreted in name-passing calculi in a robust way.
- 关键词：Interaction theory; expressiveness; bisimulation
