Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems

Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants

Stefano del Vecchio (1)

1 LIPN - Laboratoire d'Informatique de Paris-Nord

Starting from works aimed at extending the Curry-Howard correspondence beyond the functional world, in particular to process calculi, thorugh linear logic, we give another Curry-Howard counterpart for Milner's Calculus of Communicating Systems (CCS), by taking Girard’s ludics as the target system.

À partir des travaux dont l'objectif est d'étendre la correspondance de Curry-Howard au-delà du monde fonctionnel, et notamment aux algèbres de processus par exemple à travers la logique linéaire, on donne une contrepartie à la Curry-Howard pour le Calcul des Systèmes Communicants (CCS) de Milner, avec la ludique de Girard comme système cible.

Mots clés: Calculus of Communicating Systems (CCS); Ludics interaction; Process calculi

Mots clés: Algèbres de processus; Calcul des Systèmes Communicants (CCS)

Domaines: Calcul formel [cs.SC]; Logique en informatique [cs.LO]; Théorie et langage formel [cs.FL]

Stefano del Vecchio. Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. Symbolic Computation [cs.SC]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD075⟩. ⟨tel-02613539⟩