ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION

被引：309

作者：

BERGSTRA, JA

KLOP, JW

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1985年 / 37卷 / 01期

关键词：

D O I：

10.1016/0304-3975(85)90088-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：77 / 121

页数：45

共 14 条

[1] TOP-DOWN DESIGN AND THE ALGEBRA OF COMMUNICATING PROCESSES [J].

BERGSTRA, JA ;

TUCKER, JV .

SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (02) :171-199

[2] PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION [J].

BERGSTRA, JA ;

KLOP, JW .

INFORMATION AND CONTROL, 1984, 60 (1-3) :109-137

[3]

BERGSTRA JA, 1983, IW23183 MATH CENTR R

[4]

BERGSTRA JA, 1985, UNPUB CWI MONOGRAPH

[5]

BROOKES SD, 1983, LECT NOTES COMPUT SC, V154, P97

[6] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY [J].

DEBAKKER, JW ;

ZUCKER, JI .

INFORMATION AND CONTROL, 1982, 54 (1-2) :70-120

[7] ORDERINGS FOR TERM-REWRITING SYSTEMS [J].

DERSHOWITZ, N .

THEORETICAL COMPUTER SCIENCE, 1982, 17 (03) :279-301

[8] NOTE ON SIMPLIFICATION ORDERINGS [J].

DERSHOWITZ, N .

INFORMATION PROCESSING LETTERS, 1979, 9 (05) :212-215

[9]

GRAF S, 1984, LECT NOTES COMPUT SC, V172, P222

[10] A TERM MODEL FOR SYNCHRONOUS PROCESSES [J].

HENNESSY, M .

INFORMATION AND CONTROL, 1981, 51 (01) :58-75

← 1 2 →