A structured way to use channels for communication in X-machine systems

被引：5
|
作者：
Cowling, Anthony J.
Georgescu, Horia
Vertan, Cristina
机构：
[1] Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield S1 4DP, United Kingdom
[2] Department of Computer Science, Faculty of Mathematics, University of Bucharest, 14 Academiei str., 70 109 Bucharest 1, Romania
来源：
Formal Aspects of Computing | 2000年 / 12卷 / 06期
关键词：
D O I：
10.1007/s001650070007
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：485 / 500
相关论文
共 50 条
  • [1] Modelling Diseases with Stream X-Machine
    Jayatilake, Senerath
    Ogunshile, Emmanuel
    Aydin, Mehmet
    Phung, Khoa
    2021 9TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION (CONISOFT 2021), 2021, : 61 - 68
  • [2] Testing BPEL with Stream X-machine
    Ma, Chunyan
    Wu, Junsheng
    Zhang, Tao
    Zhang, Yunpeng
    Cai, Xiaobin
    ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 1, 2008, : 578 - +
  • [3] Testing Non-deterministic Stream X-machine Models and P systems
    Ipate, Florentin
    Gheorghe, Marian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 227 : 113 - 126
  • [4] Complete deterministic stream X-machine testing
    Ipate, F
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (04) : 374 - 386
  • [5] X-Machine Based Testing for Cloud Services
    Lefticaru, Raluca
    Simons, Anthony J. H.
    ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING, 2015, 508 : 175 - 189
  • [6] Rosen's (M,R) system as an X-machine
    Palmer, Michael L.
    Williams, Richard A.
    Gatherer, Derek
    JOURNAL OF THEORETICAL BIOLOGY, 2016, 408 : 97 - 104
  • [7] Testing data processing-oriented systems from stream X-machine models
    Ipate, Florentin
    Holcombe, Mike
    THEORETICAL COMPUTER SCIENCE, 2008, 403 (2-3) : 176 - 191
  • [8] Complete testing from a stream X-machine specification
    Ipate, F
    Holcombe, M
    FUNDAMENTA INFORMATICAE, 2005, 64 (1-4) : 205 - 216
  • [9] Introducing X-machine models to verify PLC ladder diagrams
    Chambers, C
    Holcombe, M
    Barnard, J
    COMPUTERS IN INDUSTRY, 2001, 45 (03) : 277 - 290
  • [10] Object COMX: Methodology using communicating X-machine objects
    Barnard, J
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (07): : 12 - 17
12345