Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01419632
Contributor : Sangiorgi Davide <>
Submitted on : Monday, December 19, 2016 - 5:05:31 PM
Last modification on : Friday, July 10, 2020 - 7:56:02 AM

Identifiers

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⟩

Share

Metrics

Record views

367