Approximative analysis by process algebra with graded spatial actions

被引：0

|

作者：

Isobe, Yoshinao

Sato, Yutaka

Ohmaki, Kazuhito

机构：

来源：

Denshi Gijutsu Sogo Kenkyusho Iho/Bulletin of the Electrotechnical Laboratory | 1997年 / 61卷 / 04期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Hopf algebra actions on differential graded algebras and applications
He, Ji-Wei
Van Oystaeyen, Fred
Zhang, Yinhuo
BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2011, 18 (01) : 99 - 111
[2] The approximative centre of a Lie algebra
Cairns, G
JOURNAL OF LIE THEORY, 2002, 12 (01) : 205 - 216
[3] Located actions in process algebra with timing
Bergstra, JA
Middelburg, CA
FUNDAMENTA INFORMATICAE, 2004, 61 (3-4) : 183 - 211
[4] Higher Moment Analysis of a Spatial Stochastic Process Algebra
Guenther, Marcel C.
Bradley, Jeremy T.
COMPUTER PERFORMANCE ENGINEERING, 2011, 6977 : 87 - 101
[5] Process approximative beer mash analysis
Wilke, J
Parthey, B
MONATSSCHRIFT FUR BRAUWISSENSCHAFT, 1996, 49 (3-4): : 115 - 118
[6] AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS
GRAF, S
SIFAKIS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 44 - 61
[7] AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS
GRAF, S
SIFAKIS, J
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 44 - 61
[8] The maximal graded left quotient algebra of a graded algebra
Pino, GA
Molina, MS
ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2006, 22 (01) : 261 - 270
[9] Process algebra approach to reasoning about concurrent actions
Yuan Feng
Ming-Sheng Ying
Journal of Computer Science and Technology, 2004, 19 : 364 - 373
[10] Process algebra approach to reasoning about concurrent actions
Feng, Y
Ying, MS
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 364 - 373

← 1 2 3 4 5 →