Compiling CSP
Compiling CSP
复制标题
编译CSP
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
F. Barnes
中科院分区：
文献类型：
--
作者：
F. Barnes
CSP，Hoare的序列流程，是一种正式的语言，用于实施，实施和推理并发过程及其相互作用。即CSP系统的可执行代码的汇编。系统，包括数百万并发的流程 - 目前可用的工具很难实现。
. CSP, Hoare’s Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs. This paper presents an alternative use for CSP, namely the compilation of CSP systems to executable code. The main motivation for this work is in providing a means to experiment with relatively large CSP systems, possibly consisting millions of concurrent processes — something that is hard to achieve with the tools currently available.