Authors: Boreale, M De Nicola, R Pugliese, R

Citation: M. Boreale et al., Divergence in testing and readiness semantics, THEOR COMP, 266(1-2), 2001, pp. 237-248

Authors: Boreale, M Trevisan, L

Citation: M. Boreale et L. Trevisan, A complexity analysis of bisimilarity for value-passing processes, THEOR COMP, 238(1-2), 2000, pp. 313-345

Authors: Boreale, M De Nicola, R Pugliese, R

Citation: M. Boreale et al., Basic observables for processes, INF COMPUT, 149(1), 1999, pp. 77-98