. . . . . "named entity 'bisimulation'" . . "Computer_Science" . . .