A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''

Philippe de Groote (1) , Guy Perrier (1)

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars

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.

Mots clés: synchronous communication; logique linéaire; linear logic; communication synchrone

Domaines: Autre [cs.OH]

Philippe de Groote, Guy Perrier. A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''. Formal Aspects of Computing, 1998, 10 (2), pp.160-170. ⟨inria-00098500⟩