Generalised stream X-machines and cooperating distributed grammar systems

被引：5
|
作者：
Gheorghe, Marian
机构：
[1] Department of Computer Science, Sheffield University, Sheffield, United Kingdom
[2] Department of Computer Science, Sheffield University, Regent Court, 211 Portobello Street, Sheffield S1 4DP, United Kingdom
来源：
Formal Aspects of Computing | 2000年 / 12卷 / 06期
关键词：
D O I：
10.1007/s001650070005
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：459 / 472
相关论文
共 50 条
  • [1] Generalised stream X-machines with output delimited type
    Balanescu, Tudor
    [J]. Formal Aspects of Computing, 2000, 12 (06) : 473 - 484
  • [2] On the minimality of stream X-machines
    Ipate, F
    [J]. COMPUTER JOURNAL, 2003, 46 (03): : 295 - 306
  • [3] Testing (Stream) X-machines
    Florentin Ipate
    Marian Gheorghe
    Mike Holcombe
    [J]. Applicable Algebra in Engineering, Communication and Computing, 2003, 14 : 217 - 237
  • [4] On the minimality of stream x-machines
    [J]. Ipate, F. (fipate@ifsoft.ro), 1600, Oxford University Press (46):
  • [5] Testing (stream) X-machines
    Ipate, F
    Gheorghe, M
    Holcombe, M
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2003, 14 (03) : 217 - 237
  • [6] Checking experiments for stream X-machines
    Hierons, Robert M.
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (37) : 3372 - 3385
  • [7] Testing timed systems modeled by Stream X-machines
    Merayo, Mercedes G.
    Nunez, Manuel
    Hierons, Robert M.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 201 - 217
  • [8] Testing collaborative agents defined as stream X-machines with distributed grammars
    Balanescu, Tudor
    Gheorghe, Marian
    Holcombe, Mike
    Ipate, Florentin
    [J]. ADVANCES IN ARTIFICIAL LIFE, 2001, 2159 : 296 - 305
  • [9] Testing timed systems modeled by Stream X-machines
    Mercedes G. Merayo
    Manuel Núñez
    Robert M. Hierons
    [J]. Software & Systems Modeling, 2011, 10 : 201 - 217
  • [10] P systems with replicated rewriting and stream X-machines (Eilenberg machines)
    Aguado, J
    Balanescu, T
    Cowling, T
    Gheorghe, M
    Holcombe, M
    Ipate, F
    [J]. FUNDAMENTA INFORMATICAE, 2002, 49 (1-3) : 17 - 33
12345