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

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

• Auteur / Autrice : Stefano Del vecchio
• Direction : Virgile Mogbil, Vito Michele Abrusci
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 19/09/2018
• Etablissement(s) : Sorbonne Paris Cité
• Ecole(s) doctorale(s) : École doctorale Galilée (Villetaneuse, Seine-Saint-Denis)
• Partenaire(s) de recherche : Laboratoire : Laboratoire informatique de Paris-Nord (Villetaneuse, Seine-Saint-Denis ; 2001-....)
• Partenaire(s) de recherche : Etablissement de préparation : Université Sorbonne Paris Nord (Bobigny, Villetaneuse, Seine-Saint-Denis ; 1970-....)
• Jury : Président / Présidente : Christophe Fouqueré
• Jury : Examinateurs / Examinatrices : Virgile Mogbil
• Jury : Rapporteur / Rapporteuse : Myriam Quatrini, Scott Phil

Mots clés

Mots clés contrôlés

Isomorphisme de Curry-Howard

Logique de seuil

Calcul formel

Mots clés libres

Algèbres de processus

Calcul des Systèmes Communicants (CCS)

Calculus of Communicating Systems (CCS)

Ludics interaction

Process calculi

Résumé

À 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.

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.