Communicating sequential processes
Communicating sequential processes
Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Concurrent prolog: collected papers
Concurrent prolog: collected papers
A layered method for process and code mapping
New Generation Computing
Flat parlog: a basis for comparison
International Journal of Parallel Programming
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Concurrent Prolog: collected papers
Computer networks
Parallel logic programming techniques
Parallel logic programming techniques
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The languages FCP(:) and FCP(:,?)
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Completing the Temporal Picture
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Partial correctness semantics for CP [ , | , &]
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Remote procedure call
Concurrent constraint programming languages
Concurrent constraint programming languages
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Active mail—a framework for implementing groupware
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Hi-index | 0.00 |