Name-passing calculi: from fusions to preorders and types

Daniel Hirschkoff 1, 2 Jean-Marie Madiot 1, 2 Davide Sangiorgi 2, 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : This is the appendix of the paper "Name-passing calculi: from fusions to preorders and types" (D Hirschkoff, JM. Madiot, D. Sangiorgi), to appear in LICS'2013.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00818068
Contributeur : Jean-Marie Madiot <>
Soumis le : samedi 11 mai 2013 - 11:17:59
Dernière modification le : lundi 5 octobre 2015 - 16:59:58
Document(s) archivé(s) le : lundi 19 août 2013 - 15:41:33

Fichier

appendix.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00818068, version 2

Collections

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. 2013. 〈hal-00818068v2〉

Partager

Métriques

Consultations de
la notice

332

Téléchargements du document

117