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 : Wednesday, October 17, 2018 - 1:12:53 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

311