Andrew Davison
-
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rule-based coordination of logic programs
Computer Languages