Asynchronous Communication Model based on Linear Logic (1995)

by N Kobayashi, A Yonezawa
Venue:Formal Aspects of Computing