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