FMICS

Reasoning about concurrent loops and recursion with rely-guarantee rules

Ian J. Hayes, Larissa Meinicke, Cliff Jones

in Room Din session FMICS Session 2 - Advanced Reasoning (on, Thu, 15:00, 2 talks over 60 min)