TY - RPRT TI - On characterising strong bisimilarity in a fragment of CCS with replication AU - Daniel Hirschkoff AU - Damien Pous PY - 2008 UR - https://arxiv.org/abs/0810.2061 ID - 0810.2061 ER -