Up a level |
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.
Curti, M. and Degano, Pierpaolo and Priami, Corrado and Baldari, C.T. (2002) Causal P-Calculus for Biochemical Modelling. UNSPECIFIED. (Unpublished)
Marchese, Maurizio and Jacucci, Gianni and Martin, Mike and Wessels, Bridgette and Dittrich, Yvonne and Eriksén, Sara (2002) A participatory design approach for the development of support environments in eGovernment services to citizens. UNSPECIFIED.