Authors: Pistore, M Sangiorgi, D

Citation: M. Pistore et D. Sangiorgi, A partition refinement algorithm for the pi-calculus, INF COMPUT, 164(2), 2001, pp. 264-321

Authors: Corradini, F Ferrari, G Pistore, M

Citation: F. Corradini et al., On the semantics of durational actions, THEOR COMP, 269(1-2), 2001, pp. 47-82

Authors: Corradini, F Pistore, M

Citation: F. Corradini et M. Pistore, 'Closed interval process algebra' versus 'Interval process algebra', ACT INFORM, 37(7), 2001, pp. 467-510