Distributed concurrent linear logic programming

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence/independence of names and movement of computation. We first define the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship between formulas of a fragment of the modal linear logic and distributed processes.

Authors

• Naoki Kobayashi
• Toshihiro Shimizu
• Akinori Yonezawa

Keywords

• Concurrency
• Distributed computation
• Linear logic
• Linear logic programming