AN ALGEBRAIC-THEORY OF FAIR ASYNCHRONOUS COMMUNICATING PROCESSES

被引：16

作者：

HENNESSY, M

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(87)90004-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：121 / 143

页数：23

共 14 条

[1] PROOF RULES AND TRANSFORMATIONS DEALING WITH FAIRNESS [J].

APT, KR ;

OLDEROG, ER .

[2]

DARONDEAU P, 1983, LECT NOTES COMPUT SC, V154, P147

[3]

DARONDEAU P, 1985, LECT NOTES COMPUT SC, V197, P458

[4]

De Nicola Rocco, 1985, THESIS U EDINBURGH

[5] TESTING EQUIVALENCES FOR PROCESSES [J].

DENICOLA, R ;

HENNESSY, MCB .

[6] ACCEPTANCE TREES [J].

HENNESSY, M .

[7] SYNCHRONOUS AND ASYNCHRONOUS EXPERIMENTS ON PROCESSES [J].

HENNESSY, M .

INFORMATION AND CONTROL, 1983, 59 (1-3) :36-83

[8]

HENNESSY M, 1983, CSR15383 U ED TECH R

[9]

HENNESSY M, 1984, 16TH P ACM S THEOR C, P25

[10]

MEYER J, 1984, IR8992 VRIJ U TECH R