An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.
Akikazu Takeuchi, Kazuko Takahashi
VenueBCONCUR
Year1989
ProceedingsConcurrency: Theory, Language, And Architecture
DBLP recordconf/concur/TakeuchiT89 ↗
Browse the full CONCUR paper archive.