Non-interleaving bisimulation equivalences on basic parallel processes
hereditary history preserving bisimilarity
scientific article; zbMATH DE number 5656619
scientific article