On the Expressiveness of CCS with Replication (2007)

by J Aranda, C Di Giusto, M Nielsen, F Valencia