Report - Analysis of electronic voting protocols in applied pi calculuschoppy/IFIP/UDINE/UDINE-DATA/Ryan.pdfThe applied π-calculus Applied pi-calculus: [Abadi & Fournet, 01] basic programming

Please pass captcha verification before submit form