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 条
  • [21] Observable behavior of distributed systems: Component reasoning for concurrent objects
    Din, Crystal Chang
    Dovland, Johan
    Johnsen, Einar Broch
    Owe, Olaf
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 227 - 256
  • [22] Supporting software agents by the graph transformation systems
    Kotulski, Leszek
    COMPUTATIONAL SCIENCE - ICCS 2006, PT 3, PROCEEDINGS, 2006, 3993 : 887 - 890
  • [23] Exploring Conflict Reasons for Graph Transformation Systems
    Lambers, Leen
    Kosiol, Jens
    Strueber, Daniel
    Taentzer, Gabriele
    GRAPH TRANSFORMATION, ICGT 2019, 2019, 11629 : 75 - 92
  • [24] A Graph Transformation Approach for Testing Timed Systems
    Hachichi, Hiba
    Kitouni, Ilham
    Bouaroudj, Kenza
    Saidouni, Djamel-Eddine
    INFORMATION AND SOFTWARE TECHNOLOGIES, 2012, 319 : 123 - 137
  • [25] Interval Probabilistic Timed Graph Transformation Systems
    Maximova, Maria
    Schneider, Sven
    Giese, Holger
    GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 221 - 239
  • [26] Formalizing architectural refactorings as graph transformation systems
    Grunske, L
    SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERNG, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING AND FIRST AICS INTERNATIONAL WORKSHOP ON SELF-ASSEMBLING WIRELESS NETWORKS, PROCEEDINGS, 2005, : 324 - 329
  • [27] Well-structured graph transformation systems
    Koenig, Barbara
    Stueckrath, Jan
    INFORMATION AND COMPUTATION, 2017, 252 : 71 - 94
  • [28] On the use of alloy to analyze graph transformation systems
    Baresi, Luciano
    Spoletini, Paola
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 306 - 320
  • [29] Refinements and modules for typed graph transformation systems
    Grosse-Rhode, M
    Presicce, FP
    Simeoni, M
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 138 - 151
  • [30] Verifying Graph Transformation Systems with Description Logics
    Brenas, Jon Hael
    Echahed, Rachid
    Strecker, Martin
    GRAPH TRANSFORMATION (ICGT 2018), 2018, 10887 : 155 - 170
12345