Daniel Hirschkoff, Damien Pous. On Bisimilarity and Substitution in Presence of Replication. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Volume 6199 of Lecture Notes in Computer Science, pages 454-465, Springer, 2010. [doi]
Abstract is missing.