Skip to Main content Skip to Navigation
Journal articles

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
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00098500
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:02:18 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00098500, version 1

Collections

Citation

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

Share

Metrics

Record views

135