Network-Conscious π-calculus - A Model of Pastry

Ugo Montanari, Matteo Sammartino

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)3-17
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume312
Early online date23 Apr 2015
DOIs
Publication statusPublished - 24 Apr 2015

Keywords

  • coalgebra
  • distributed hash-table
  • HD-automaton
  • network conscious pi-calculus
  • overlay network
  • pastry
  • Peer-to-peer
  • presheaf
  • process calculus
  • routing
  • routing convergence
  • verification

Cite this