ALGEBRA OF PROCESSES AND SYNCHRONIZATION

被引：82

作者：

AUSTRY, D ^{[1
]}

BOUDOL, G ^{[1
]}

机构：

[1] INST NATL RECH INFORMAT & AUTOMAT,F-06565 VALBONNE,FRANCE

来源：

关键词：

All Open Access; Green;

D O I：

10.1016/0304-3975(84)90067-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

COMPUTER PROGRAMMING LANGUAGES

引用

页码：91 / 131

页数：41

共 10 条

[1] FLOW LANGUAGES EQUAL RECURSIVELY-ENUMERABLE LANGUAGES [J].

ARAKI, T ;

TOKURA, N .

[2]

ARNOLD A, 1981, COLL AFCET MATH INFO

[3]

HENNESSY MCB, 1980, LECTURE NOTES COMPUT, V85, P299, DOI DOI 10.1007/3-540-10003-2

[4]

HOARE CAR, 1980, CONSTRUCTION PROGRAM

[5] THE POWER OF SYNCHRONIZING OPERATIONS ON STRINGS [J].

JANTZEN, M .

[6] CALCULI FOR SYNCHRONY AND ASYNCHRONY [J].

MILNER, R .

[7]

MILNER R, 1980, LECTURE NOTES COMPUT, V92

[8]

MILNER R, 1981, CSR7580 ED U COMP SC

[9]

PLOTKIN GD, 1981, FN19 AARH U COMP SCI

[10]

SHAW AC, 1979, SOFTWARE DEV TOOLS W