L Mandel, C Pasteur, M Pouzet - Proceedings of the 15th Symposium on …, 2013 - dl.acm.org
Concurrent and reactive systems often exhibit multiple time scales. For instance, in a
discrete simulation, the scale at which agents communicate might be very different from the …