Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
A parallel implementation of flat concurrent prolog
International Journal of Parallel Programming
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The Logix system user manual version 1.21
Concurrent Prolog: collected papers
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Parallel logic programming techniques
Parallel logic programming techniques
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Efficient distributed recovery using message logging
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
ACM Computing Surveys (CSUR)
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Real-time, concurrent checkpoint for parallel programs
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Parallelism in random access machines
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Shared virtual memory on loosely coupled multiprocessors
Shared virtual memory on loosely coupled multiprocessors
Implementation of committed choice logic languages on shared memory multiprocessors
Implementation of committed choice logic languages on shared memory multiprocessors
Concurrent constraint programming languages
Concurrent constraint programming languages
Active mail—a framework for implementing groupware
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Handling Emergent Nondeterminism in Replicated Services
Architecting Dependable Systems V
Living with nondeterminism in replicated middleware applications
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Living with nondeterminism in replicated middleware applications
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
| Hi-index | 0.00 |