Name-passing calculi: From fusions to preorders and types

Daniel Hirschkoff 1, 2, 3 Jean-Marie Madiot 4 Davide Sangiorgi 2, 5
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
3 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
Type de document :
Article dans une revue
Journal of Information and Computation, Elsevier, 2016, 251, pp.26. 〈10.1016/j.ic.2016.10.003〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01419632
Contributeur : Sangiorgi Davide <>
Soumis le : lundi 19 décembre 2016 - 17:05:31
Dernière modification le : mercredi 17 octobre 2018 - 01:12:53

Lien texte intégral

Identifiants

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types. Journal of Information and Computation, Elsevier, 2016, 251, pp.26. 〈10.1016/j.ic.2016.10.003〉. 〈hal-01419632〉

Partager

Métriques

Consultations de la notice

251