1. Synchronization and linearity;Baccelli,1992
2. Baccelli, F., & Hong, D. (1998). Analyticity expansions of (max,+) lyapunov exponents. Technical Report RR-3427, INRIA.
3. Ergodic theorem for stochastic operators and discrete event networks;Baccelli,1998
4. Model checking;Clarke,1999
5. Cochet-Terrasson, J., Gaubert, S., & Gunawardena, J. (1997). Dynamics of min-max functions. Technical Report HPL-BRIMS-97-13, HP Lab.