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 条
  • [41] SEMIINVARIANTS FOR HOPF ALGEBRA ACTIONS
    COHEN, M
    RAIANU, S
    WESTREICH, S
    ISRAEL JOURNAL OF MATHEMATICS, 1994, 88 (1-3) : 279 - 306
  • [42] APPROXIMATIVE PROCESS FOR DIMENSIONING OF HYDRODYNAMIC TORQUE CONVERTERS
    GRUBER, J
    VAJNA, Z
    ACTA TECHNICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1969, 64 (3-4): : 455 - &
  • [43] Completing Lie algebra actions to Lie group actions
    Kamber, FW
    Michor, PW
    ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY, 2004, 10 : 1 - 10
  • [44] Symmetric decomposition of the associated graded algebra of an Artinian Gorenstein algebra
    Iarrobino, Anthony
    Marques, Pedro Macias
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2021, 225 (03)
  • [45] DIFFERENTIAL GRADED MODULES OVER A NONCONNECTED DIFFERENTIAL GRADED ALGEBRA
    LEGRAND, A
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1991, 72 (01) : 53 - 66
  • [46] SDN Protocol Analysis with Process Algebra Method
    Fu, Chen
    Bing, Fu
    SMART COMPUTING AND COMMUNICATION, SMARTCOM 2016, 2017, 10135 : 95 - 101
  • [47] ANALYSIS OF DATABASE PRODUCTION RULES BY PROCESS ALGEBRA
    ISOBE, Y
    KOJIMA, I
    OHMAKI, K
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (08) : 992 - 1002
  • [48] Formal Analysis of SystemC Designs in Process Algebra
    Hojjat, Hossein
    Mousavi, Mohammad Reza
    Sirjani, Marjan
    FUNDAMENTA INFORMATICAE, 2011, 107 (01) : 19 - 42
  • [49] Structural Analysis for Stochastic Process Algebra Models
    Ding, Jie
    Hillston, Jane
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 1 - +
  • [50] Efficient analysis of belief properties in process algebra
    Moezkarimi, Zahra
    Ghassemi, Fatemeh
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 141
12345