A spatial equational logic for the applied \(\pi \)-calculus
scientific article; zbMATH DE number 5781477
scientific article