Technical report

Covering Transitions of Concurrent Systems through Queues

Petrenko, A., Huo, J. Covering Transitions of Concurrent Systems through Queues. Montréal, CRIM, 2005. 27 p. . [CRIM-05/08-09]

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg