TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES

被引：0

作者：

BECKMAN, L

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：335 / 349

页数：15

相关论文

共 12 条

[1]

BECKMAN L, 1986, JUN P S LOG COMP SCI

[2]

BECKMAN L, 1985, 31 UPM TECHN REP

[3]

CLARK KL, 1981, OCT P ACM C FUNCT PR

[4]

HOARE CAR, C ACM, V28

[5]

LLOYD JW, F LOGIC PROGRAMMING

[6]

Milner R., 1980, LNCS, V92

[7]

Peterson James L., PETRI NET THEORY MOD

[8]

SARASWAT V, 1985, OPERATIONAL SEMANTIC

[9]

SHAPIRO E, ICOT TR003 TECHN REP

[10]

UEDA K, ICOT TR102 TECHN REP