Network-conscious \(\pi\)-calculus -- a model of Pastry
scientific article; zbMATH DE number 6608301
scientific article