A taxonomy of process calculi for distribution and mobility
scientific article; zbMATH DE number 6003479
scientific article