HCSP公司 swMATH ID: 2577 软件作者： 艾德里安·劳伦斯。 描述： HCSP：为协同设计和共享内存扩展CSP。HCSP是CSP的一种变体，适用于捕获硬件编译的语义以及其他目的。它以多种方式扩展了CSP：它包括优先级；事件可以组合；引入了新的同步构造函数；状态被显式建模。包含状态允许处理共享内存和消息传递系统。这里包含了一个可能的指称语义，从而允许对此类系统进行适当的处理。尽管大多数扩展都是出于硬件编译的需要，但HCSP可以更广泛地应用，包括软件，因此可以构成协同设计语言的基础。HCSP是CSPP的扩展：这里假设您熟悉CSPP。 主页： http://books.google.de/books？hl=de&lr=&id=mX-BCoP37BEC&oi=fnd&pg=PA133&dq=HCSP:+Extending+CSP+for+codesign+and+shared+memory&ots=PJaMmOwy6&sig=MtqgncJCm74xWQkN-HK8jD-K8C0#v=onepage&q=HCSP%3A%20Extend 关键词： HCSP公司；硬件编译的语义 相关软件： HP月球车 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 HCSP：为协同设计和共享内存扩展CSP。 Zbl 0922.68074号艾德里安·劳伦斯。 1998 4位作者引用 1 艾德里安·劳伦斯。 1 刘涛 1 王淑玲 1 詹乃军 连载1篇 1 软件杂志 在2个字段中引用 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文