[PPT] - Concurrent separation logic and operational semantics Viktor PowerPoint Presentation