PLClub Discussion Group
Fine-Grained Concurrent Separation Logic
Jun 5 2020Irene Yoon
This Friday will be a continuation to Paul’s presentation of Concurrent Separation Logic (CSL) last week. I will be presenting Fine-Grained Concurrent Separation Logic (FCSL), following the work of Aleksander Nanevski et al. (Project page: http://software.imdea.org/fcsl/)