On the Observable Behavior of Graph Transformation Systems

被引：0
|
作者：
Heckel, Reiko [1 ]
机构：
[1] Univ Leicester, Leicester, Leics, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2011年 / 48期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] THE TRANSFORMATION OF LINEAR NONSTATIONARY OBSERVABLE AND CONTROLLABLE SYSTEMS INTO STATIONARY SYSTEMS
    VAVILOVA, NB
    KALENOVA, VI
    MOROZOV, VM
    PMM JOURNAL OF APPLIED MATHEMATICS AND MECHANICS, 1985, 49 (04): : 422 - 428
  • [2] Stochastic graph transformation systems
    Heckel, Reiko
    Lajios, Georgios
    Menge, Sebastian
    FUNDAMENTA INFORMATICAE, 2006, 74 (01) : 63 - 84
  • [3] Stochastic graph transformation systems
    Heckel, R
    Lajios, G
    Menge, S
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 210 - 225
  • [4] Stochastic graph transformation systems
    Department of Computer Science, University of Leicester, United Kingdom
    不详
    Fundam Inf, 2006, 1 (63-84):
  • [5] Dynamic graph transformation systems
    Bruni, Roberto
    Melgratti, Hernan
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 230 - 244
  • [6] Graph transformation systems in CHR
    Raiser, Frank
    Logic Programming, Proceedings, 2007, 4670 : 240 - 254
  • [7] Robustness of the observable behavior of semihyperbolic dynamic systems
    Diamond, P
    Kloeden, P
    Kozyakin, VS
    Pokrovskii, AV
    AUTOMATION AND REMOTE CONTROL, 1995, 56 (11) : 1627 - 1636
  • [8] A temporal graph logic for verification of graph transformation systems
    Baldan, Paolo
    Corradini, Andrea
    Koenig, Barbara
    Lafuente, Alberto Lluch
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2007, 4409 : 1 - +
  • [9] Graph transformation through graph surfing in reaction systems
    Kreowski, Hans-Joerg
    Rozenberg, Grzegorz
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 109
  • [10] Verification of Random Graph Transformation Systems
    Kozioura, Vitali
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 63 - 72
12345