Ordered SOS process languages for branching and eager bisimulations
scientific article; zbMATH DE number 1853288
scientific article