6 citations · 6 across the 1 of their papers we have counts for
1 paper
Roberto Gorrieri, Cristian Versari
We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty s…