On preserving structural and behavioural properties by composing net systems on interfaces

被引：0
|
作者：
DISCo, Università degli Studi di Milano-Bicocca, via Bicocca degli Arcimboldi 8, I-20126, Milano, Italy [1 ]
机构：
来源：
Fundam Inf | 2007年 / 1-3卷 / 31-47期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] On preserving structural and behavioural properties by composing net systems on interfaces
    Bernardinello, Luca
    Monticelli, Elena
    Pornello, Lucia
    FUNDAMENTA INFORMATICAE, 2007, 80 (1-3) : 31 - 47
  • [2] Composing Systems While Preserving Probabilities
    Georgievska, Sonja
    Andova, Suzana
    COMPUTER PERFORMANCE ENGINEERING, 2010, 6342 : 268 - 283
  • [3] Composing secure systems that have emergent properties
    Zakinthinos, A
    Lee, ES
    11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 117 - 122
  • [4] Structural Properties of Water at Interfaces
    Otto, Alexius
    BIOPHYSICAL JOURNAL, 2012, 102 (03) : 503A - 503A
  • [5] STRUCTURAL NET SYSTEMS OPTIMIZATION
    VOLKOLUPOVA, R
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1990, 143 : 536 - 543
  • [6] MAGNETIC AND STRUCTURAL-PROPERTIES OF INTERFACES
    SAUER, C
    HYPERFINE INTERACTIONS, 1995, 95 (1-4): : 17 - 18
  • [7] Reducing Behavioural to Structural Properties of Programs with Procedures
    Gurov, Dilian
    Huisman, Marieke
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 136 - +
  • [8] Reducing behavioural to structural properties of programs with procedures
    Gurov, Dilian
    Huisman, Marieke
    THEORETICAL COMPUTER SCIENCE, 2013, 480 : 69 - 103
  • [9] Optical and structural properties of ZnSe/GaAs interfaces
    Garcia-Rocha, M.
    Lopez-Luna, E.
    de Melo, O.
    Hernandez-Calderon, I.
    Sitter, H.
    Andreev, A.Yu.
    Applied Surface Science, 1997, 112 : 165 - 170
  • [10] Examination of structural properties of interfaces by electron diffraction
    Koch, CT
    MATERIALS SCIENCE AND ENGINEERING A-STRUCTURAL MATERIALS PROPERTIES MICROSTRUCTURE AND PROCESSING, 2006, 422 (1-2): : 41 - 50
12345