A compositional semantics for concurrent prolog - Kok, Joost N. (1988)