Trace and testing equivalence on asynchronous processes
scientific article; zbMATH DE number 1853234