Distributed Concurrent Linear Logic Programming

Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa. Distributed Concurrent Linear Logic Programming. Theoretical Computer Science, 227(1-2):185-220, 1999. [doi]

Abstract

Abstract is missing.