On characterising strong bisimilarity in a fragment of CCS with replication

Daniel Hirschkoff Damien Pous On characterising strong bisimilarity in a fragment of CCS with replication http://arxiv.org/abs/0810.2061 2008 CoRR abs/0810.2061 db/journals/corr/corr0810.html#abs-0810-2061 informal publication