Efficient Checking of Link-Reversal-Based Concurrent Systems.

Matthias Fgger, Josef Widder

Browse the full CONCUR paper archive.