Rapport technique

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]