Revisiting concurrent separation logic