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
相关论文
共 50 条
  • [41] ALGEBRAIC FRAMEWORK FOR QUANTIZATION OF NONULTRALOCAL MODELS
    HLAVATY, L
    JOURNAL OF MATHEMATICAL PHYSICS, 1995, 36 (09) : 4882 - 4897
  • [42] Framework classified in a linear algebraic group
    Kahn, Bruno
    Nguyen Thi Kim Ngan
    JOURNAL DE MATHEMATIQUES PURES ET APPLIQUEES, 2014, 102 (05): : 972 - 1013
  • [43] CONFINTEA Vll Marrakech Framework and the Challenge of and Urgency for Active Citizenship Education
    Avoseh, Mejai Bola Mike
    ADULT LEARNING, 2024, 35 (02) : 82 - 91
  • [44] Drags: A compositional algebraic framework for graph rewriting
    Dershowitz, Nachum
    Jouannaud, Jean-Pierre
    THEORETICAL COMPUTER SCIENCE, 2019, 777 : 204 - 231
  • [45] An algebraic framework for noncommutative bundles with homogeneous fibres
    Brzezinski, Tomasz
    Szymanski, Wojciech
    ALGEBRA & NUMBER THEORY, 2021, 15 (01) : 217 - 240
  • [46] Extension in algebraic framework of a Well's formula
    Boyer, JY
    Hickel, M
    MANUSCRIPTA MATHEMATICA, 1999, 98 (02) : 195 - 223
  • [47] Schema homomorphism - An algebraic framework for schema matching
    Zhang, Z
    Che, HY
    Shi, PF
    Sun, Y
    Gu, J
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2005, PROCEEDINGS: DATA MANAGEMENT ON THE WEB, 2005, 3818 : 255 - 256
  • [48] CoFI: The Common Framework Initiative for Algebraic Specification
    Bulletin of the European Association for Theoretical Computer Science, (59):
  • [49] An algebraic framework for higher-order modules
    Jiménez, R
    Orejas, F
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1778 - 1797
  • [50] A Framework for Space Complexity in Algebraic Proof Systems
    Bonacina, Ilario
    Galesi, Nicola
    JOURNAL OF THE ACM, 2015, 62 (03)
12345