Bisimulations for a calculus of broadcasting systems
scientific article; zbMATH DE number 1243218