Bisimulations in calculi modelling membranes
scientific article; zbMATH DE number 5314957