Asynchronous Communication Model Based on Linear Logic

Asynchronous Communication Model Based on Linear Logic (1995)

Cached

Download Links

[camille.is.s.u-tokyo.ac.jp]

Other Repositories/Bibliography

DBLP

by Naoki Kobayashi , Akinori Yonezawa

Venue:	Formal Aspects of Computing
Citations:	45 - 6 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Asynchronous Communication Model Based on Linear Logic	user correction - Legacy Corrections
AUTHOR NAME	Naoki Kobayashi	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Information Science; the University of Tokyo	SVM HeaderParse 0.2
AUTHOR ADDR	7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan	SVM HeaderParse 0.1
AUTHOR NAME	Akinori Yonezawa	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Information Science; the University of Tokyo	SVM HeaderParse 0.2
AUTHOR ADDR	7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan	SVM HeaderParse 0.1
ABSTRACT	We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind of linear logic programming framework, where its operational semantics is described in terms of proof construction in linear logic. We also give a model-theoretic semantics as a natural extension of phase 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 concurrent computation from a logical point of view. We also expect ACL to become a formal framework for verification, reasoning, 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. 1 Introduction For future massively parallel processing environments, concurrent programming languages based on asynchronous communication would become more and more important. Due ...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	Formal Aspects of Computing	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	3--279	INFERENCE
VOLUME	7	INFERENCE
CITATIONS	26 found	ParsCit 1.0