Languages

Compositional Verification of Termination-Preserving Refinement of Concurrent Programs

TitleCompositional Verification of Termination-Preserving Refinement of Concurrent Programs
Publication TypeConference Paper
Year of Publication2014
AuthorsLiang H, Feng X, Shao Z
Conference NameProc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14). 2014.07.14-18. pp 65:1-65:10
Conference LocationVienna, Austria