40 citations · 142 across the 19 of their papers we have counts for
1 paper · 2 filters
Daniel Hirschkoff, Damien Pous
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch…