Library rt.implementation.parallel.arrival_sequence
(* We reuse the arrival sequence from the basic model. *)
Require
Export
rt.implementation.basic.arrival_sequence
.