Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Modular Termination Verification for Non-blocking Concurrency Pedro da Rocha Pinto1 , Thomas Dinsdale-Young2 , Philippa Gardner1 , and Julian Sutherland1 1 Imperial College London
Add to Reading List
Document Date: 2016-04-11 08:00:52
Open Document
File Size: 433,78 KB
Share Result on Facebook
Modular Termination Verification for Non-blocking Concurrency Pedro da Rocha Pinto1 , Thomas Dinsdale-Young2 , Philippa Gardner1 , and Julian Sutherland1 1 Imperial College London