Asynchronous Communication Model Based on Linear Logic (1995)

by Naoki Kobayashi, Akinori Yonezawa
Venue:Formal Aspects of Computing