Name-passing calculi: from fusions to preorders and types

Daniel Hirschkoff 1, 2, 3 Jean-Marie Madiot 1, 2, 3 Davide Sangiorgi 2, 4
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
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00818068
Contributor : Jean-Marie Madiot <>
Submitted on : Saturday, May 11, 2013 - 11:17:59 AM
Last modification on : Thursday, October 11, 2018 - 1:12:25 AM
Long-term archiving on : Monday, August 19, 2013 - 3:41:33 PM

File

appendix.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

401

Files downloads

217