Distributed concurrent linear logic programming

✍ Scribed by Naoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 227 KB
• Volume: 227
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(99)00052-3

✦ Synopsis

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 ÿrst deÿne 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.