17 citations · 26 across the 12 of their papers we have counts for
1 paper · 1 filter
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…