Message Sequence Chart, High-level Message Sequence Chart,
time, probability, stochastic processes