A LOGIC FOR THE SPECIFICATION AND PROOF OF REGULAR CONTROLLABLE PROCESSES OF CCS

被引：6

作者：

GRAF, S

SIFAKIS, J

机构：

[1] IMAG, St. Martin d'Heres, Fr, IMAG, St. Martin d'Heres, Fr

来源：

关键词：

D O I：

10.1007/BF00288467

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：507 / 527

页数：21

共 10 条

[1]

BERGSTRA JA, CSR8421 CENTR WISK I

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

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[3]

BROOKES SD, LNCS, V154

[4]

GRAF S, 1984, THESIS IMAG GRENOBLE

[5]

GRAF S, LNCS, V172, P222

[6]

GRAF S, 1985, IMAG RR511 REP

[7] ALGEBRAIC LAWS FOR NONDETERMINISM AND CONCURRENCY [J].

HENNESSY, M ;

MILNER, R .

[8]

KOZEN D, LNCS, V140, P348

[9]

Milner R, LNCS, V92

[10]

STIRLING C, 1983, PROOF THEORETIC CHAR