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

L. Braga, Roberto Manione, P. Renditore

Browse the full FORTE paper archive.