Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6608301 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
peer-to-peer system | |||
Property / zbMATH Keywords: peer-to-peer system / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
overlay network | |||
Property / zbMATH Keywords: overlay network / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributed hash table | |||
Property / zbMATH Keywords: distributed hash table / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Pastry | |||
Property / zbMATH Keywords: Pastry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
verification | |||
Property / zbMATH Keywords: verification / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
routing convergence | |||
Property / zbMATH Keywords: routing convergence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
process calculus | |||
Property / zbMATH Keywords: process calculus / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
network-conscious pi-calculus | |||
Property / zbMATH Keywords: network-conscious pi-calculus / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
presheaf | |||
Property / zbMATH Keywords: presheaf / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coalgebra | |||
Property / zbMATH Keywords: coalgebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
HD-automaton | |||
Property / zbMATH Keywords: HD-automaton / rank | |||
Normal rank |
Revision as of 08:48, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Network-conscious \(\pi\)-calculus -- a model of Pastry |
scientific article |
Statements
Network-conscious \(\pi\)-calculus -- a model of Pastry (English)
0 references
1 August 2016
0 references
peer-to-peer system
0 references
overlay network
0 references
distributed hash table
0 references
Pastry
0 references
verification
0 references
routing convergence
0 references
process calculus
0 references
network-conscious pi-calculus
0 references
presheaf
0 references
coalgebra
0 references
HD-automaton
0 references