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 条
  • [21] A framework for algebraic transformations in iterative algorithms
    Shi, JF
    Chao, LF
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 604 - 607
  • [22] An algebraic framework for modeling of mobile systems
    Ouranos, Iakovos
    Stefaneas, Petros
    Frangos, Panayiotis
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2007, E90A (09) : 1986 - 1999
  • [23] AN ALGEBRAIC TRANSFORMATION FRAMEWORK FOR MULTIDATABASE QUERIES
    LIM, EP
    SRIVASTAVA, J
    HWANG, SY
    DISTRIBUTED AND PARALLEL DATABASES, 1995, 3 (03) : 273 - 307
  • [24] An algebraic framework for temporal attribute characteristics
    Michael Böhlen
    Johann Gamper
    Christian S. Jensen
    Annals of Mathematics and Artificial Intelligence, 2006, 46
  • [25] An Algebraic Framework for Deformable Image Registration
    Santa, Zsolt
    Kato, Zoltan
    2016 23RD INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR), 2016, : 3792 - 3797
  • [26] AN ALGEBRAIC FRAMEWORK FOR TRAFFIC STATE ESTIMATION
    Abouaissa, Hassane
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2009, 5 (09): : 2499 - 2510
  • [27] An algebraic framework for temporal attribute characteristics
    Boehlen, Michael
    Gamper, Johann
    Jensen, Christian S.
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (03) : 349 - 374
  • [28] PAFSV: A Process Algebraic Framework for SystemVerilog
    Man, K. L.
    2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 492 - 499
  • [29] AN ALGEBRAIC FRAMEWORK FOR INDUCTIVE PROGRAM SYNTHESIS
    JANTKE, KP
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 101 - 122
  • [30] UNIFIED FRAMEWORK FOR NOTIONS OF ALGEBRAIC THEORY
    Fujii, Soichiro
    THEORY AND APPLICATIONS OF CATEGORIES, 2019, 34 : 1246 - 1316
12345