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 条

[11] A simple process algebra based on atomic actions with resources
Gastin, P
Mislove, M
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004, 14 (01) : 1 - 55
[12] FUNCTIONAL-ANALYSIS - ACTIONS OF A KAC ALGEBRA ON A VONNEUMANN ALGEBRA AND REPRESENTATIONS
ENOCK, M
SCHWARTZ, JM
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1980, 291 (12): : 631 - 633
[13] ALGEBRA ACTIONS ON A GROUP ALGEBRA
KERLIN, JE
PACIFIC JOURNAL OF MATHEMATICS, 1971, 38 (03) : 669 - &
[14] GRADED LIE-ALGEBRA AND GENERALIZED CHERN-SIMONS ACTIONS IN ARBITRARY DIMENSIONS
KAWAMOTO, N
WATABIKI, Y
MODERN PHYSICS LETTERS A, 1992, 7 (13) : 1137 - 1147
[15] Reasoning about nondeterministic and concurrent actions: A process algebra approach
Chen, XJ
De Giacomo, G
ARTIFICIAL INTELLIGENCE, 1999, 107 (01) : 63 - 98
[16] Decomposing Monolithic Processes in a Process Algebra with Multi-actions
Laveaux, Maurice
Willemse, Tim A. C.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (347): : 57 - 76
[17] Decomposing monolithic processes in a process algebra with multi-actions
Laveaux, Maurice
Willemse, Tim A. C.
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 132
[18] Reasoning about nondeterministic and concurrent actions: A process algebra approach
De Giacomo, G
Chen, XJ
PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 658 - 663
[19] The Maximal Graded Left Quotient Algebra of a Graded Algebra1)
Gonzalo Aranda Pino
Mercedes Siles Molina
Acta Mathematica Sinica, 2006, 22 : 261 - 270
[20] Hecke algebra actions on the coinvariant algebra
Adin, RM
Postnikov, A
Roichman, Y
JOURNAL OF ALGEBRA, 2000, 233 (02) : 594 - 613

← 1 2 3 4 5 →