Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus
scientific article; zbMATH DE number 1387352
scientific article