Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
scientific article; zbMATH DE number 2099292