Electoral systems in ambient calculi (2004)

by I Phillips, M Vigliotti
Venue:In Proc. of FoSSaCS, volume 2987 of LNCS