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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 227; H. 1; S. 185 - 220
Hauptverfasser: Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori
Format: Journal Article Tagungsbericht
Sprache:Englisch
Veröffentlicht: Amsterdam Elsevier B.V 28.09.1999
Elsevier
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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