100+ Termination preservation PowerPoint (PPT) Presentations, Termination preservation PPTs

Termination preservation - PowerPoint PPT Presentation

Compositional Verification of Termination-Preserving Refinement of Concurrent Programs

Compositional Verification of Termination-Preserving Refinement of Concurrent Programs. Hongjin Liang Univ. of Science and Technology of China (USTC) Joint work with Xinyu Feng (USTC) and Zhong Shao (Yale). Applications of Refinement of Concurrent Programs.

★ ★ ★ ★ ★

492 views • 34 slides

View Termination preservation PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Termination preservation PowerPoint presentations. You can view or download Termination preservation presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.

'Termination preservation' presentation slideshows

Termination preservation - PowerPoint PPT Presentation

Compositional Verification of Termination-Preserving Refinement of Concurrent Programs