Covering Transitions of Concurrent Systems through Queues.

Jiale Huo, Alexandre Petrenko

Browse the full ISSRE paper archive.