摘要
本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。
In this paper, we have firstly introduced the structure logic (SL) and its description of several models of parallel computer. Then we have discussed automatic synthesis and correctness-proving for parallel programs. At last, we describe the concurrency of the computation model embedded in the extended Petri net oy SL.
出处
《河北工学院学报》
1991年第4期61-69,共9页
Journal of Hubei Polytechnic University
关键词
结构逻辑
并行计算机
PETRI网
structure logic,parallel program,correctness-proving automaticsynthesis,Petri net,concurrency,parallel machine,synchrony.
