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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 227; číslo 1; s. 185 - 220
Hlavní autoři: Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori
Médium: Journal Article Konferenční příspěvek
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 28.09.1999
Elsevier
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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