位置：成果数据库 > 期刊 > 期刊详情页
Process passing calculus, revisited
  • 期刊名称：Jouranl of Shanghai Jiao Tong University
  • 时间：2013
  • 页码：29-36
  • 分类：TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]Laboratory of Basic Study in Computing Science, MOE'-Ms Key Laboratory for Intelligent Computing and Intelligent Systems, Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China
  • 相关基金：Foundation item： the National Natural Science Foundation of China （Nos. 61033002, 60903020, 61202023） and the Science and Technology Commission of Shanghai Municipality （No. 11XD1402800）
  • 相关项目：M-可解性、M-计算复杂性与计算机科学的模型理论
作者： Qiang Yin|Huan Long|
关键词： 计算机, 理论, 形式语言, 计算, higher order π-calculus, encoding, expressiveness, bisimulation
中文摘要：

<正>In the context of process calculi,higher orderπcalculus(A calculus) is prominent and popular due to its ability to transfer processes.Motivated by the attempt to study the process theory in an integrated way,we give a system study of A calculus with respect to the model independent framework.We show the coincidence of the context bisimulation to the absolute equality.We also build a subbisimilarity relation from A calculus to the n calculus.

英文摘要：

In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus.

同期刊论文项目
基于通道的高阶进程演算的表达能力的研究
期刊论文 23
M-可解性、M-计算复杂性与计算机科学的模型理论
期刊论文 26 会议论文 51 获奖 5 著作 1
进程演算的可解理论研究
期刊论文 10 会议论文 5
同项目期刊论文
Process passing calculus revisited
OnParameterization of Higher-Order Processes
A Logical Characterization for Linear Higher-Order Processes
带Mismatch 算子的高阶π演算
Attribute-based key insulated signature and its applications
New Constructions of Dynamic Threshold Cryptosystem
弱偏伪度量空间的完备和双完备
带Mismatch算子的高阶π演算
基于TPM的强身份认证的研究与实现
两个降低PKG信任级的基于身份门限密码体制
策略驱动的可靠嵌入式系统建模及分析方法
Identity-based Key Insulated Proxy Signature without Random Oracles
Identity-based key-insulated proxy signature without random oracles
An Efficient Threshold Key-Insulated Signature Scheme
On Bisimulation Theory in Linear Higher-Order Pi-Calculus
Identity-Based Threshold Key-Insulated Signature
密文策略的属性基并行密钥隔离加密
基于TPM的强身份认证协议研究
两个降低PKG信任级的基于身份的门限密码体制
Towards accountable authority attribute-based encryption
弱偏伪度量空间的完备和双完备
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Netwo
Algebraic Data Retrieval Algorithms for Multi-Channel Wireless Data Broadcast
A Constant-Factor Approximation for d-Hop Connected Dominating Sets in Unit Disk Graph
On the Semantics of Markov Automata
Performance Analysis for Approximating MCDS in Wireless Ad-Hoc Network
Symbolic Bisimulation for Quantum Processes
Data-Driven Metaphor Recognition and Explanation
How faithfully can pi be interpreted in SA?
An Interpretation of Erlang into Value-passing Calculus
Real-Reward Testing for Probabilistic Processes
Compositional reasoning for weighted Markov decision processes
The Value-Passing Calculus
<span style="font-family:&quot;Arial&quot;,sans-serif;font-size:10.5pt;">Rel
<span style="color: black; font-family:;" calibri",sans-serif;font-size:11pt;"
How faithfully can &pi; be interpreted in SA?
The lambda-calculus in the pi-calculus
Consistency, optimality, and incompleteness
<span style="font-family:;" arial",sans-serif;font-size:10.5pt;"=""
A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
A Distributed Design for Minimum 2-Connected m-Dominating Set in Bidirectional Wireless Ad-Hoc Networks