Asynchronous Communication Model Based on Linear Logic

Naoki Kobayashi, Akinori Yonezawa. Asynchronous Communication Model Based on Linear Logic. In Robert H. Halstead Jr., Takayasu Ito, editors, Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings. Volume 748 of Lecture Notes in Computer Science, pages 331-336, Springer, 1992.

Abstract

Abstract is missing.