Authors: Bornot, S Sifakis, J

Citation: S. Bornot et J. Sifakis, An algebraic framework for urgency, INF COMPUT, 163(1), 2000, pp. 172-202

Authors: Kesten, Y Pnueli, A Sifakis, J Yovine, S

Citation: Y. Kesten et al., Decidable integration graphs, INF COMPUT, 150(2), 1999, pp. 209-243