DMCA

On bisimilarity and substitution in presence of replication (2010)

Cached

Download Links

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