Abstract.
We explain why the Kobayashi–Yonezawa translation of CCS into linear logic does not work properly. Then we introduce our own translation and prove its correctness.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 1997 / Accepted in revised form June 1998
Rights and permissions
About this article
Cite this article
de Groote, P., Perrier, G. A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic”. Form Aspects Comput 10, 160–170 (1998). https://doi.org/10.1007/s001650050008
Issue Date:
DOI: https://doi.org/10.1007/s001650050008