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 su...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 227; no. 1; pp. 185 - 220
Main Authors: Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori
Format: Journal Article Conference Proceeding
Language:English
Published: Amsterdam Elsevier B.V 28.09.1999
Elsevier
Subjects:
Applied sciences
Computer science; control theory; systems
Concurrency
Distributed computation
Exact sciences and technology
General logic
Linear logic
Linear logic programming
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Programming theory
Sciences and techniques of general use
Theoretical computing
Linear logic
Distributed computation
Concurrency
Linear logic programming
Type
Modal operator
Linear logique programming
Intuitionistic logic
Modal linear logic
Data
Logical programming
Logic
Distributed computing
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(99)00052-3