Algebraic specification of parallel systems based on binary relations between events

被引：0
|
作者：
Teshima, Shigeharu [1 ]
Hiraishi, Hiromi [1 ]
Yajima, Shuzo [1 ]
机构：
[1] Kyoto Univ, Japan
来源：
Systems and Computers in Japan | 1988年 / 19卷 / 10期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
19
引用
收藏
页码：8 / 21
相关论文
共 50 条
  • [1] On the Algebraic Specification and Verification of Parallel Systems
    Triantafyllou, Nikolaos
    Ksystra, Katerina
    Stefaneas, Petros
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
  • [2] ALGEBRAIC SPECIFICATION OF COMMUNICATION BETWEEN PARALLEL PROCESSES
    JULLIAND, J
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1983, 2 (04): : 257 - 269
  • [3] Relations Between Algorithmic Reducibilities of Algebraic Systems
    Kalimullin, I. Sh.
    [J]. RUSSIAN MATHEMATICS, 2009, 53 (06) : 58 - 59
  • [4] Relations between algorithmic reducibilities of algebraic systems
    I. Sh. Kalimullin
    [J]. Russian Mathematics, 2009, 53 (6) : 58 - 59
  • [5] An algebraic approach to binary relations
    Chajda, Ivan
    Laenger, Helmut
    Sevcik, Petr
    [J]. ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2015, 8 (02)
  • [6] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    KAPLAN, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
  • [7] Algebraic specification of reactive systems
    Broy, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 239 (01) : 3 - 40
  • [8] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    ASTESIANO, E
    MASCARI, GF
    REGGIO, G
    WIRSING, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358
  • [9] Parallel computations for logic-algebraic based expert systems
    Borzemski, Leszek
    Fras, Mariusz
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT I, PROCEEDINGS, 2007, 4692 : 311 - +
  • [10] A METHOD TO IDENTIFY SYSTEMS BASED ON RANDOM BINARY EVENTS
    Junie, Petre
    Tertisco, Mihai
    Eremia, Cristian
    Ene, Gabriel
    [J]. UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2011, 73 (03): : 91 - 102
12345