1. Max-plus algebras;Akian,2006
2. Static analysis of memory manipulations by abstract interpretation — algorithmics of tropical polyhedra, and application to abstract interpretation;Allamigeon,2009
3. Synchronization and Linearity: An Algebra for Discrete Event Systems;Baccelli,1992
4. Max-Linear Systems: Theory and Algorithms;Butkovič,2010