Efficient backward execution in AND/OR process model

DOI10.1016/0020-0190(88)90059-2zbMath0662.68021OpenAlexW2077497702MaRDI QIDQ1114389

Myunghwan Kim, Kyu Ho Park, Chan-Ik Park

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(88)90059-2

zbMATH Keywords

logic programmingmultiple failuresAND/OR process modelbackward executionnested loop model

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Yet another efficient backward execution algorithm in the AND/OR process model

Cites Work

• Algorithm = logic + control
• Unnamed Item

This page was built for publication: Efficient backward execution in AND/OR process model