Asynchronous Communication Model Based on Linear Logic.

Naoki Kobayashi Akinori Yonezawa

Published in: Parallel Symbolic Computing (1992)

Keyphrases

asynchronous communication
linear logic
synchronous communication
fixed point
sequent calculus
service composition
logic programming
desirable properties
proof theoretic
cut elimination
intuitionistic logic
logical framework
general purpose
inference rules