Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gian Luigi and Zunino, Roberto (2009) ν-types for effects and freshness analysis. UNSPECIFIED.

Degano, Pierpaolo and Priami, Corrado (2003) Enhanced Operational Semantics in Systems Biology. UNSPECIFIED. (In Press)

Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado (2003) Causality and replication in concurrent processes. UNSPECIFIED. (Submitted)

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.

Curti, M. and Degano, Pierpaolo and Priami, Corrado and Baldari, C.T. (2002) Causal P-Calculus for Biochemical Modelling. UNSPECIFIED. (Unpublished)

Nottegar, Chiara and Priami, Corrado and Degano, Pierpaolo (2001) Performance Evaluation of Mobile Processes via Abstract Machines. UNSPECIFIED.

Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.