![]() | Up a level |
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. [Departmental Technical Report]
Curti, M. and Degano, Pierpaolo and Priami, Corrado and Baldari, C.T. (2002) Causal P-Calculus for Biochemical Modelling. [Departmental Technical Report] (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. [Departmental Technical Report]