Distributed variable server for atomic unification

Authors:
Alon Kleinman;Yoram Moses;Ehud Shapiro
Affiliations:
Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel;Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel;Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot 76100, Israel
Venue:
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Year:
1990

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
A parallel implementation of flat concurrent prolog

International Journal of Parallel Programming
Unification revisited

Foundations of deductive databases and logic programming
Parallel logic programming techniques

Parallel logic programming techniques
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Systems programming in parallel logic languages

Systems programming in parallel logic languages
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Concurrent constraint programming languages

Concurrent constraint programming languages

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

Hi-index	0.00