Communicating sequential processes
Communicating sequential processes
Journal of Logic Programming
Concurrent prolog: collected papers
Concurrent prolog: collected papers
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Algebraic theory of processes
Parallel program design: a foundation
Parallel program design: a foundation
Communications of the ACM
Communication and concurrency
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proof theory and semantics of logic programs
Proceedings of the Fourth Annual Symposium on Logic in computer science
The languages FCP(:) and FCP(:,?)
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
On the expressive power of programming languages
Proceedings of the third European symposium on programming on ESOP '90
Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fully abstract translations between functional languages
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Concurrent logic programming: asynchronism and language comparison
Proceedings of the 1990 North American conference on Logic programming
Communicating sequential processes
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
An Interpreter for Extended Lambda Calculus
An Interpreter for Extended Lambda Calculus
Occam Programming Manual
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Protection in programming-language translations
Secure Internet programming
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Comparing communication primitives via their relative expressive power
Information and Computation
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
| Hi-index | 0.00 |