READY-TRACE SEMANTICS FOR CONCRETE PROCESS ALGEBRA WITH THE PRIORITY OPERATOR

被引：39

作者：

BAETEN, JCM

BERGSTRA, JA

KLOP, JW

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,UTRECHT,NETHERLANDS

[2] CTR MATH & COMP SCI,AMSTERDAM,NETHERLANDS

来源：

关键词：

D O I：

10.1093/comjnl/30.6.498

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：498 / 506

页数：9

共 9 条

[1]

Baeten J. C. M., 1986, Fundamenta Informaticae, V9, P127

[2]

BERGSTRA JA, 1985, CWI CSR8523 CTR MATH

[3]

BERGSTRA JA, 1986, CWI CSR8609 REP

[4] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[5]

BROOKES SD, 1983, SPRINGER LNCS, V154, P83

[6]

MILNER R, 1980, SPRINGER LNCS, V92

[7]

OLDEROG ER, 1984, PRG37 OXF U COMP LAB

[8]

OLDEROG ER, 1983, SPRINGER LNCS, V154

[9]

PNUELI A, 1985, LECT NOTES COMPUT SC, V194, P15