On bisimilarity and substitution in presence of replication (2010)

by Daniel Hirschkoff, Damien Pous
Venue:In 37th International Colloquium on Automata, Languages and Programming (ICALP), volume 6199 of LNCS