Abstractions for distributed systems (DPA 2008)

被引：0
|
作者：
Jha, Shantenu
Katz, Dan
Parashar, Manish
Rana, Omer
Cole, Murray
机构：
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2009年 / 5415 LNCS卷
关键词：
D O I：
10.1007/978-3-642-00955-6_45
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Regular Abstractions for Array Systems
    Hong, Chih-Duo
    Lin, Anthony W.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL): : 638 - 666
  • [32] Discrete abstractions of hybrid systems
    Alur, R
    Henzinger, TA
    Lafferriere, G
    Pappas, GJ
    PROCEEDINGS OF THE IEEE, 2000, 88 (07) : 971 - 984
  • [33] Abstractions of Hamiltonian control systems
    Tabuada, P
    Pappas, GJ
    AUTOMATICA, 2003, 39 (12) : 2025 - 2033
  • [34] Abstractions of Hamiltonian control systems
    Tabuada, P
    Pappas, GJ
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 3394 - 3399
  • [35] Abstractions of constrained linear systems
    Tanner, HG
    Pappas, GJ
    PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 3381 - 3386
  • [36] Composing abstractions of hybrid systems
    Tabuada, P
    Pappas, GJ
    Lima, P
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2002, 2289 : 436 - 450
  • [37] Recursive Abstractions for Parameterized Systems
    Jaffar, Joxan
    Santosa, Andrew E.
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 72 - 88
  • [38] Computing Abstractions of Nonlinear Systems
    Reissig, Gunther
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (11) : 2583 - 2598
  • [39] Hybrid abstractions of affine systems
    Lefebvre, Marie-Anne
    Gueguen, Herve
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2006, 65 (06) : 1150 - 1167
  • [40] Abstractions for Modeling Complex Systems
    Lattmann, Zsolt
    Kecskes, Tamas
    Meijer, Patrik
    Karsai, Gabor
    Volgyesi, Peter
    Ledeczi, Akos
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 68 - 79
12345