Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland

Browse the full ESOP paper archive.