A TRUE CONCURRENCY SEMANTICS FOR PARALLEL PROGRAMS

被引：0
|
作者：
KAPUS, T
HORVAT, B
PUCKO, M
机构：
[1] UNIV MARIBOR,FAC TECH SCI,MARIBOR 62000,SLOVENIA
[2] JOZEF STEFAN INST,LJUBLJANA 61111,SLOVENIA
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 39卷 / 2-5期
关键词：
D O I：
10.1016/0165-6074(93)90075-V
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper shows, how the true concurrency model for concurrent systems, so-called directed, acyclic, arc-labelled graphs, and propositional Concurrent Temporal Logic, that have been developed for the specification and verification of elementary net systems, can be adapted to give a true concurrency semantics to shared variables programs, and to write first-order specifications of the programs, so that also concurrency can be specified.
引用
收藏
页码：143 / 146
页数：4
相关论文
共 50 条
12345