IMPLEMENTATION OF A TRANSITION SEMANTICS FOR PARALLEL PROGRAMS WITH SHARED VARIABLES

被引：0

作者：

WOLFF, T

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 349卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：541 / 543

页数：3

相关论文

共 4 条

[1] FAIRNESS IN PARALLEL PROGRAMS - THE TRANSFORMATIONAL APPROACH [J].

OLDEROG, ER ;

APT, KR .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (03) :420-455

[2]

OLDEROG ER, 1986, SUM U KIEL

[3]

PLOTKIN G, 1981, DAIMI FN19 AARH U CO

[4]

WOLFF T, 1987, THESIS U KIEL