3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Matteo Acclavio, Giulia Manara, Fabrizio Montesi
We introduce a novel approach to studying properties of processes in the π-calculus based on a processes-as-formulas interpretation, by establishing a correspondence between specif…