Parallel logic programming techniques

Distributed variable server for atomic unification

PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing

Communication with directed logic variables

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Replay, recovery, replication, and snapshots of nondeterministic concurrent programs

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing

Efficient dataflow analysis of logic programs

Journal of the ACM (JACM)

Determinacy testing for nondeterminate logic programming languages

ACM Transactions on Programming Languages and Systems (TOPLAS)

A compiler approach to scalable concurrent-program design

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel logic programming systems

ACM Computing Surveys (CSUR)

Compositional parallel programming languages

ACM Transactions on Programming Languages and Systems (TOPLAS)

Technical correspondence

Communications of the ACM

Architectural support for the management of tightly-coupled fine-grain goals in flat concurrent Prolog

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture

Automatic Generation of Self-Scheduling Programs

IEEE Transactions on Parallel and Distributed Systems