Types for Parallel Complexity in the Pi-calculus

Pré-Publication, Document De Travail Année : 2019

(1) , (1)

1

Patrick Baillot

Laboratoire de l'Informatique du Parallélisme

Alexis Ghyselen

Laboratoire de l'Informatique du Parallélisme

Complexité [cs.CC] Informatique et langage [cs.CL]

Fichier principal

main.pdf (520.7 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-02302544

Soumis le : jeudi 3 octobre 2019-11:44:18

Dernière modification le : jeudi 11 mai 2023-11:56:10

hal-02302544 , version 1 (03-10-2019)

Patrick Baillot, Alexis Ghyselen. Types for Parallel Complexity in the Pi-calculus. 2019. ⟨hal-02302544⟩

ENS-LYON CNRS INRIA UNIV-LYON1 UDL

62 Consultations

25 Téléchargements