Asynchronous communication model based on linear logic
Naoki Kobayashi, Akinori Yonezawa · Formal Aspects of Computing · 1995
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.