A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES

被引：607

作者：

BROOKES, SD ^{[1
]}

HOARE, CAR ^{[1
]}

ROSCOE, AW ^{[1
]}

机构：

[1] UNIV OXFORD,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND

来源：

JOURNAL OF THE ACM | 1984年 / 31卷 / 03期

关键词：

COMPUTER METATHEORY - MATHEMATICAL MODELS;

D O I：

10.1145/828.833

中图分类号：

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

学科分类号：

0812 ;

摘要：

A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondeterminism are fully taken into account.

引用

页码：560 / 599

页数：40

共 29 条

[1] A Proof System for Communicating Sequential Processes [J].

Apt, Krzysztof R. ;

Francez, Nissim ;

De Roever, Willem P. .

ACM Transactions on Programming Languages and Systems, 1980, 2 (03) :359-385

[2]

BROOKES SD, 1983, THESIS OXFORD U OXFO

[3]

BROOKES SD, 1983, LECTURE NOTES COMPUT, V164

[4]

BROOKES SD, 1983, LECTURE NOTES COMPUT, V154

[5]

BROOKES SD, 1984, UNPUB IMPROVED FAILU

[6]

CHANDY RM, TR98 U TEX TECH REP

[7]

DENICOLA R, 1983, LECTURE NOTES COMPUT, V158

[8]

DIJKSTRA E, 1968, PROGRAMMING LANGUAGE

[9]

FRANCEZ N, 1980, 21ST P IEEE F COMP S

[10]

HENNESSY M, 1983, LECTURE NOTES COMPUT, V154

← 1 2 3 →