✦ LIBER ✦

On linear logic planning and concurrency

✍ Scribed by Ozan Kahramanoğulları

Book ID: 113641839
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 595 KB
Volume: 207
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.02.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed concurrent linear logic prog

Distributed concurrent linear logic programming

✍ Naoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 227 KB

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 suit

Relating State-Based and Process-Based C

Relating State-Based and Process-Based Concurrency through Linear Logic

✍ Iliano Cervesato; Andre Scedrov 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 579 KB

Linearity Analysis of Concurrent Logic P

Linearity Analysis of Concurrent Logic Programs

✍ Kazunori Ueda 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 76 KB

Relating state-based and process-based c

Relating state-based and process-based concurrency through linear logic (full-version)

✍ Iliano Cervesato; Andre Scedrov 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 744 KB

On logical and concurrent equivalences

✍ J.C. Bradfield; S.B. Fröschle 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 290 KB

On the Relationship Between BDI Logics a

On the Relationship Between BDI Logics and Standard Logics of Concurrency

✍ Klaus Schild 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 161 KB