Asynchronous communication model based on linear logic

Publisher Website
Google Scholar
Abstract
We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programmingframework, where its operational semantics is described in terms ofproof constructionin linear logic. We also give a model-theoretic semantics based onphase semantics, a model of linear logic. Our framework well captures concurrent computation based on asynchronous communication. It will, therefore, provide us with a new insight into other models of asynchronous concurrent computation from alogicalpoint of view. We also expect ACL to become a formal framework for analysis, synthesis and transformation of concurrent programs by the use of techniques for traditional logic programming. ACL's attractive features for concurrent programming paradigms are also discussed.

This publication has 25 references indexed in Scilit: