1 paper · 1 filter
Chiara Bodei, Linda Brodo, Roberto Bruni
We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes…