(Bi)simulations up-to characterise process semantics
scientific article; zbMATH DE number 5543803
scientific article