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 条
  • [1] A topological framework of stepwise specification for concurrent systems
    Ando, T
    Takahashi, K
    Kato, Y
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11): : 1760 - 1767
  • [2] A topological framework for the specification and the simulation of discrete dynamical systems
    Spicher, A
    Michel, O
    Giavitto, JL
    CELLULAR AUTOMATA, PROCEEDINGS, 2004, 3305 : 238 - 247
  • [3] cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
    Suryadevara, Jagadish
    Chung, Lawrence
    Shyamasundar, R. K.
    JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 187 - 207
  • [4] SPECIFICATION AND STEPWISE DEVELOPMENT OF COMMUNICATING SYSTEMS
    ROSSIG, S
    SCHENKE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 149 - 163
  • [5] Visual specification of concurrent systems
    Safránek, D
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 369 - 372
  • [6] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    KAPLAN, S
    THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
  • [7] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [8] Information systems as a tool for specification of concurrent systems
    Suraj, Z
    2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 4324 - 4329
  • [9] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    ASTESIANO, E
    MASCARI, GF
    REGGIO, G
    WIRSING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358
  • [10] Specification and verification of concurrent systems in CESAR
    Queille, J. P.
    Sifakis, J.
    25 YEARS OF MODEL CHECKING: HISTORY, ACHIEVEMENTS, PERSPECTIVES, 2008, 5000 : 216 - 230
12345