Electoral Systems in Ambient Calculi.

Iain Phillips, Maria Grazia Vigliotti

Browse the full FOSSACS paper archive.