Modeling MARTE Sequence Diagram with Timing Pi-Calculus.

Wei Jin, Hanpin Wang, Meixia Zhu

Browse the full ISORC paper archive.