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: AMADIO RM

Citation: Rm. Amadio, A QUICK CONSTRUCTION OF A RETRACTION OF ALL RETRACTIONS FOR STABLE BIFINITES, Information and computation, 116(2), 1995, pp. 272-274

Authors: AMADIO RM CARDELLI L

Citation: Rm. Amadio et L. Cardelli, SUBTYPING RECURSIVE TYPES, ACM transactions on programming languages and systems, 15(4), 1993, pp. 575-631