Decompositional reasoning about the history of parallel processes

并行过程历史的分解推理

L.Aceto、A.Birgisson、A.Ingólfsdóttir、M.R.Mousavi

Onderzoeksoutput公司:博克/融洽›Rapport公司›学术

183 下载（纯）

本文提出了Hennessy-Milner逻辑的一种带过去的分解技术及其递归de？？？的扩展？？ned公式。为了突出主要思想和技术工具，使用CCS的一个子集描述了过程，该子集具有并行组成、非确定性选择、行动准备？？兴和无为常数。这项研究的重点是为该语言中的并行上下文开发分解推理技术。

@书籍{456373bda68242acafc5e823b2a52394，

title=“关于并行过程历史的分解推理”，

abstract=“本文提出了Hennessy-Milner逻辑与过去的分解技术及其递归公式的扩展。为了突出主要思想和技术工具，使用具有并行组成、非确定性选择、动作预处理的CCS子集描述过程？？兴和无为常数。这项研究的重点是为该语言中的并行上下文开发分解推理技术。",

author=“L.Aceto和A.Birgisson和A.Ing{\'o}lfsd{\'o}ttir和M.R.Mousavi”，

year=“2010”，

language=“英语”，

series=“计算机科学报告”，

publisher=“埃因霍温理工大学”，

}

TY-书籍

T1-并行过程历史的分解推理

AU-丙酮，L。

澳大利亚-Birgisson，A。

AU-Ingólfsdóttir，A。

AU-穆萨维，M.R。

2010年上半年

2010年1月

N2-本文提出了Hennessy-Milner逻辑与过去的分解技术及其递归de？？的扩展？？ned公式。为了突出主要思想和技术工具，使用CCS的一个子集描述了过程，该子集具有并行组成、非确定性选择、行动准备？？兴和无为常数。这项研究的重点是为该语言中的并行上下文开发分解推理技术。

本文提出了Hennessy-Milner逻辑的一种带过去的分解技术及其递归de？？的扩展？？ned公式。为了突出主要思想和技术工具，使用CCS的一个子集描述了过程，该子集具有并行组成、非确定性选择、行动准备？？xing和不作为常数。这项研究的重点是为该语言中的并行上下文开发分解推理技术。

M3-报告

T3-计算机科学报告

关于并行进程历史的BT分解推理

PB-埃因霍温理工大学

CY-埃因霍温

急诊室-