An algebraic framework for urgency

被引：38

作者：

Bornot, S ^{[1
]}

Sifakis, J ^{[1
]}

机构：

[1] Verimag, F-38610 Gieres, France

来源：

INFORMATION AND COMPUTATION | 2000年 / 163卷 / 01期

关键词：

D O I：

10.1006/inco.2000.2999

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：172 / 202

页数：31

共 18 条

[1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[2]

Baeten J. C. M., 1986, Fundamenta Informaticae, V9, P127

[3] A process algebraic approach to the schedulability analysis of real-time systems [J].

Ben-Abdallah, H ;

Choi, JY ;

Clarke, D .

REAL-TIME SYSTEMS, 1998, 15 (03) :189-219

[4]

BORNOT S, 1997, LECT NOTES COMPUTER, V1536

[5]

Bornot Sebastien., 1998, LECT NOTES COMPUT SC, V1386, P49

[6]

Bremond-Gregoire P., 1997, THEORET COMPUT SCI, V189

[7] PRIORITIES IN PROCESS ALGEBRAS [J].

CLEAVELAND, R ;

HENNESSY, M .

INFORMATION AND COMPUTATION, 1990, 87 (1-2) :58-77

[8]

Cleaveland R, 1996, SOFTWARE-CONC TOOL, V17, P50

[9] A process algebra with distributed priorities [J].

Cleaveland, R ;

Luttgen, G ;

Natarajan, V .

THEORETICAL COMPUTER SCIENCE, 1998, 195 (02) :227-258

[10]

CLEAVELAND R, 1996, LNCS, V1119, P34

← 1 2 →