@article{4a8aafafca6745f288600738d332e44f,
title = "Network-Conscious π-calculus - A Model of Pastry",
keywords = "coalgebra, distributed hash-table, HD-automaton, network conscious pi-calculus, overlay network, pastry, Peer-to-peer, presheaf, process calculus, routing, routing convergence, verification",
author = "Ugo Montanari and Matteo Sammartino",
year = "2015",
month = apr,
day = "24",
doi = "10.1016/j.entcs.2015.04.002",
language = "English",
volume = "312",
pages = "3--17",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier B.V.",
}