Automating the refinement of specifications for distributed systems via syntactic transformations

被引：0
|
作者：
Florida Int Univ, Miami, United States [1 ]
机构：
来源：
Int J Syst Sci | / 11卷 / 1129-1144期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] REFINEMENT OF CONCURRENT SYSTEMS BASED ON LOCAL STATE TRANSFORMATIONS
    POMELLO, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 641 - 668
  • [22] Executable Specifications for Real-Time Distributed Systems
    Ray, Arnab
    Cleaveland, Rance
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (04) : 3 - 17
  • [23] CONCURRENT REFINEMENT OF STRUCTURED OBJECTS - A LANGUAGE FOR DISTRIBUTED KNOWLEDGE PROGRAMMING USING SPECIFICATIONS AND ANNOTATIONS
    BARBUCEANU, M
    TRAUSANMATU, S
    MOLNAR, B
    RESEARCH AND DEVELOPMENT IN EXPERT SYSTEMS VI, 1989, : 235 - 239
  • [24] Executable formal specifications of complex distributed systems with CoreASM
    Farahbod, Roozbeh
    Gervasi, Vincenzo
    Glaesser, Uwe
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 79 : 23 - 38
  • [25] Specifications of communications in industrial distributed systems using UML
    Villeminot, A
    Bron, JY
    Lepage, F
    FIELDBUS SYSTEMS AND THEIR APPLICATIONOS 2001 (FET'2001), 2002, : 209 - 216
  • [26] Impedance specifications for stable DC distributed power systems
    Feng, XG
    Liu, JJ
    Lee, FC
    IEEE TRANSACTIONS ON POWER ELECTRONICS, 2002, 17 (02) : 157 - 162
  • [27] An election protocol in asynchronous distributed systems with practical specifications
    Lee, S
    Yang, SI
    Park, SH
    PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3, 2005, : 928 - 934
  • [28] Decentralized Runtime Verification of LTL Specifications in Distributed Systems
    Mostafa, Menna
    Bonakdarpour, Borzoo
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2015, : 494 - 503
  • [29] Boundary Control of Distributed Port-Hamiltonian Systems via Generalised Canonical Transformations
    Macchelli, Alessandro
    Le Gorrec, Yann
    Ramirez, Hector
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [30] Automating Characterization Deployment in Distributed Data Stream Management Systems
    Wang, Chunkai
    Meng, Xiaofeng
    Guo, Qi
    Weng, Zujian
    Yang, Chen
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2017, 29 (12) : 2669 - 2681
12345