A FUNCTIONAL-MODEL FOR DESCRIBING AND REASONING ABOUT TIME BEHAVIOR OF COMPUTING SYSTEMS

被引：23

作者：

CASPI, P ^{[1
]}

HALBWACHS, N ^{[1
]}

机构：

[1] INST IMAG,GENIE INFORMAT LAB,GRENOBLE,FRANCE

来源：

关键词：

D O I：

10.1007/BF00263648

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：595 / 627

页数：33

共 15 条

[1]

AMBLARD P, 1985, 1985 C COMP HARDW DE

[2] LUCID, A NON-PROCEDURAL LANGUAGE WITH ITERATION [J].

ASHCROFT, EA ;

WADGE, WW .

[3] ALGEBRA OF PROCESSES AND SYNCHRONIZATION [J].

AUSTRY, D ;

BOUDOL, G .

[4]

BERGERAND JL, 1985, JUL IEE C CONTR 85 C

[5]

CASPI P, 1982, OCT P INT C DISTR CO, P710

[6]

CASPI P, 1983, CONCEPTION CERTIFIEE

[7]

CHEN BT, 1982, OCT P INT C DISTR CO, P380

[8]

HALBWACHS N, 1984, THESIS U GRENOBLE

[9]

KAHN G, 1974, P IFIP C

[10]

KOYMANS R, 1983, SEP WORKSH AN CONC S