Foundations of logic programming
Foundations of logic programming
Communicating sequential processes
Communicating sequential processes
Full abstraction and semantic equivalence
Full abstraction and semantic equivalence
Full abstraction for sequential algorithms: the state of the art
Algebraic methods in semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
I-structures: data structures for parallel computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional programing and the logical variable
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
A Fully Abstract Semantics for a Functional Language with Logic Variables
A Fully Abstract Semantics for a Functional Language with Logic Variables
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Truly concurrent constraint programming
Theoretical Computer Science
Hi-index | 0.01 |