Ph Jorrand
-
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)