P. Renditore

A "TINA light" service architecture for the Internet-telecom scenario

R. Manione, P. Renditore, 1999, TINA '99. 1999 Telecommunications Information Networking Architecture Conference Proceedings (Cat. No.99EX368).

A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams

Roberto Manione, P. Renditore, L. Braga, 1996, FORTE.