Deciding true concurrency equivalences on safe, finite nets
scientific article; zbMATH DE number 1058318
scientific article