Relational algebraic framework for VHDL models management

被引：0
|
作者：
Korea Maritime Univ, Pusan, Korea, Republic of [1 ]
机构：
来源：
Trans Soc Comput Simul | / 2卷 / 43-55期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Implicational Tonoid Logics: Algebraic and Relational Semantics
    Eunsuk Yang
    J. Michael Dunn
    Logica Universalis, 2021, 15 : 435 - 456
  • [42] ALGEBRAIC RELATIONAL SEMANTICS FOR BASIC SUBSTRUCTURAL LOGICS
    Yang, Eunsuk
    LOGIQUE ET ANALYSE, 2020, (252) : 415 - 441
  • [43] An algebraic framework for urgency
    Bornot, S
    Sifakis, J
    INFORMATION AND COMPUTATION, 2000, 163 (01) : 172 - 202
  • [44] Approximating the algebraic relational semantics of imperative programs
    Colón, MA
    STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 296 - 311
  • [45] RELATIONAL ALGEBRAIC SEMANTICS OF DETERMINISTIC AND NONDETERMINISTIC PROGRAMS
    BERGHAMMER, R
    ZIERER, H
    THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 123 - 147
  • [46] An algebraic framework for urgency
    Bornot, S
    Sifakis, J
    CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 167 - 182
  • [47] GRAPHS AS RELATIONAL STRUCTURES - AN ALGEBRAIC AND LOGICAL APPROACH
    COURCELLE, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 238 - 252
  • [48] Implicational Tonoid Logics: Algebraic and Relational Semantics
    Yang, Eunsuk
    Dunn, J. Michael
    LOGICA UNIVERSALIS, 2021, 15 (04) : 435 - 456
  • [49] Review: The algebraic relational theory and its applications
    Zaretzky, AN
    JOURNAL OF BIOLOGICAL SYSTEMS, 2000, 8 (03) : 279 - 317
  • [50] Disruption management: Framework, models and applications.
    Modi, Jamshed A.
    Yu Gang
    INTERFACES, 2006, 36 (05) : 478 - 479
12345