24 citations · 74 across the 13 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
We show that the techniques for resource control that have been developed in the so-called "light logics" can be fruitfully applied also to process algebras. In particular, we pres…