EFFICIENT BACKWARD EXECUTION IN AND OR PROCESS MODEL

被引：2
|
作者：
PARK, CI [1 ]
PARK, KH [1 ]
KIM, M [1 ]
机构：
[1] KOREA INST SCI & TECHNOL, DEPT ELECT ENGN, SEOUL 130650, SOUTH KOREA
来源：
INFORMATION PROCESSING LETTERS | 1988年 / 29卷 / 04期
关键词：
D O I：
10.1016/0020-0190(88)90059-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
8
引用
收藏
页码：191 / 198
页数：8
相关论文
共 50 条
  • [1] YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
    KIM, DH
    CHOE, KM
    INFORMATION PROCESSING LETTERS, 1991, 40 (04) : 201 - 211
  • [2] Efficient execution of process networks
    Basten, T
    Hoogerbrugge, J
    COMMUNICATING PROCESS ARCHITECTURES 2001, 2001, 59 : 1 - 14
  • [3] A PROCESS-ORIENTED MODEL FOR EFFICIENT EXECUTION OF DATA-FLOW PROGRAMS
    BIC, L
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1990, 8 (01) : 42 - 51
  • [4] A process model for best execution
    Conte, Tobias
    Burghardt, Matthias
    ENTERPRISE APPLICATIONS AND SERVICES IN THE FINANCE INDUSTRY, 2008, 4 : 15 - +
  • [5] PM - A PARALLEL EXECUTION MODEL FOR BACKWARD-CHAINING DEDUCTIONS
    SINGH, V
    GENESERETH, M
    AI MAGAZINE, 1987, 8 (02) : 96 - 96
  • [6] Operational semantic to the execution of the process model
    Fu Yan-Ning
    Liu Lei
    Li Bo
    COMPUTATIONAL METHODS, PTS 1 AND 2, 2006, : 1159 - +
  • [7] PM: A PARALLEL EXECUTION MODEL FOR BACKWARD-CHAINING DEDUCTIONS.
    Singh, Vineet
    Genesereth, Michael R.
    Future Comput Syst, 1986, 1 (03): : 271 - 308
  • [8] Measuring the inconsistencies between process model and process execution
    Li Zhi
    Huang Shangteng
    Gong Bo
    He Xingui
    CHINESE JOURNAL OF ELECTRONICS, 2007, 16 (02): : 223 - 226
  • [9] Efficient symbolic execution of large quantifications in a process algebra
    Fraikin, Benoit
    Frappier, Marc
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 327 - 344
  • [10] Backward Symbolic Execution with Loop Folding
    Chalupa, Marek
    Strejcek, Jan
    STATIC ANALYSIS, SAS 2021, 2021, 12913 : 49 - 76
12345