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 条
  • [1] An algebraic framework for urgency
    Bornot, S
    Sifakis, J
    CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 167 - 182
  • [2] An algebraic framework for linear identification
    Fliess, M
    Sira-Ramírez, H
    ESAIM-CONTROL OPTIMISATION AND CALCULUS OF VARIATIONS, 2003, 9 (09): : 151 - 168
  • [3] An Algebraic Framework for Runtime Verification
    Jaksic, Stefan
    Bartocci, Ezio
    Grosu, Radu
    Nickovic, Dejan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (11) : 2233 - 2243
  • [4] Decoherence scenarios in the algebraic framework
    R. Olkiewicz
    The European Physical Journal Special Topics, 2008, 159 : 119 - 125
  • [5] On generalizing the algebraic multigrid framework
    Falgout, RD
    Vassilevski, PS
    SIAM JOURNAL ON NUMERICAL ANALYSIS, 2004, 42 (04) : 1669 - 1693
  • [6] An Algebraic Framework for Quadratic Invariance
    Lessard, Laurent
    Lall, Sanjay
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 2698 - 2703
  • [7] Text languages in an algebraic framework
    Fundam Inf, 3-4 (353):
  • [8] Decoherence scenarios in the algebraic framework
    Olkiewicz, R.
    EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, 2008, 159 (1): : 119 - 125
  • [9] ALGEBRAIC FRAMEWORK FOR INTERREGIONAL MODELING
    PETRI, PA
    JOURNAL OF REGIONAL SCIENCE, 1979, 19 (04) : 449 - 459
  • [10] An algebraic framework for cipher embeddings
    Cid, C
    Murphy, S
    Robshaw, MJB
    CRYPTOGRAPHY AND CODING, PROCEEDINGS, 2005, 3796 : 278 - 289
12345