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žené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 227; číslo 1; s. 185 - 220
Hlavní autori:	Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori
Médium:	Journal Article Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 28.09.1999 Elsevier
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!