Authors: AMADIO RM CASTELLANI I SANGIORGI D

Citation: Rm. Amadio et al., ON BISIMULATIONS FOR THE ASYNCHRONOUS PI-CALCULUS, Theoretical computer science, 195(2), 1998, pp. 291-324

Authors: CASTELLANI I ZHANG GQ

Citation: I. Castellani et Gq. Zhang, PARALLEL PRODUCT OF EVENT STRUCTURES, Theoretical computer science, 179(1-2), 1997, pp. 203-215

Authors: ARNOLD A CASTELLANI I

Citation: A. Arnold et I. Castellani, AN ALGEBRAIC CHARACTERIZATION OF OBSERVATIONAL EQUIVALENCE, Theoretical computer science, 156(1-2), 1996, pp. 289-299

Authors: BOUDOL G CASTELLANI I

Citation: G. Boudol et I. Castellani, FLOW MODELS OF DISTRIBUTED COMPUTATIONS - 3 EQUIVALENT SEMANTICS FOR CCS, Information and computation, 114(2), 1994, pp. 247-314

Authors: BOUDOL G CASTELLANI I HENNESSY M KIEHN A

Citation: G. Boudol et al., OBSERVING LOCALITIES, Theoretical computer science, 114(1), 1993, pp. 31-61