A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic".

Philippe de Groote Guy Perrier

Published in: Formal Aspects Comput. (1998)

Keyphrases

asynchronous communication
linear logic
synchronous communication
fixed point
proof theoretic
intuitionistic logic
logical framework
logic programming
desirable properties
sequent calculus
service composition
cut elimination
artificial intelligence
high level
inference rules
service oriented
relational databases