ISSN:
1433-299X
Keywords:
Linear logic programming
;
Asynchronous concurrent computation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programming framework, where its operational semantics is described in terms ofproof construction in 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 alogical point 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01211602
Permalink