Topological framework of stepwise specification for concurrent systems

被引：0
作者：
Sendai Natl Coll of Technology, Sendai-shi, Japan [1 ]
机构：
来源：
IEICE Trans Fund Electron Commun Comput Sci | / 11卷 / 1760-1767期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
7
引用
收藏
相关论文
共 50 条
  • [31] Topological systems as a framework for institutions
    Denniston, Jeffrey T.
    Melton, Austin
    Rodabaugh, Stephen E.
    Solovyov, Sergey A.
    FUZZY SETS AND SYSTEMS, 2016, 298 : 91 - 108
  • [32] Specification of concurrent systems: the L language and its environment
    Behm, Patrick
    Dagron, Nathalie
    Ermine, Francoise
    Revue technique - Thomson-CSF, 1987, 19 (02): : 213 - 247
  • [33] A formal framework of shielding systems by stepwise refinement
    Zhu, Jiabin
    Huang, Wenchao
    Miao, Fuyou
    Su, Cheng
    Zhao, Baohua
    Xiong, Yan
    International Journal of Network Security, 2020, 22 (01) : 54 - 67
  • [34] A categorical framework for concurrent, anticipatory systems
    Menezes, PB
    COMPUTING ANTICIPATORY SYSTEMS, 1999, 465 : 185 - 199
  • [35] Formal Specification and Verification of Self-Adaptive Concurrent Systems
    Fakhir, Muhammad Ilyas
    Kazmi, Syed Asad Raza
    IEEE ACCESS, 2018, 6 : 34790 - 34803
  • [36] A systematic approach to the Petri net based specification of concurrent systems
    Mazzeo, A
    Mazzocca, N
    Russo, S
    Vittorini, V
    REAL-TIME SYSTEMS, 1997, 13 (03) : 219 - 236
  • [37] Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
    Nagar, Kartik
    Mukherjee, Prasita
    Jagannathan, Suresh
    COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 251 - 274
  • [38] A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
    Antonino Mazzeo
    Nicola Mazzocca
    Stefano Russo
    Valeria Vittorini
    Real-Time Systems, 1997, 13 : 219 - 236
  • [39] An efficient temporal formula specification method for asynchronous concurrent systems
    Yamada, Chikatoshi
    Nagata, Yasunori
    Nakao, Zensho
    TENCON 2005 - 2005 IEEE REGION 10 CONFERENCE, VOLS 1-5, 2006, : 836 - +
  • [40] A Framework for the Specification and Validation of Dynamic Reconfigurable Systems
    El-Hokayem, Antoine
    Bozga, Marius
    Sifakis, Joseph
    APPLIED COMPUTING REVIEW, 2021, 21 (02): : 18 - 32
12345