Inter-process buffers in separation logic with rely-guarantee
scientific article; zbMATH DE number 5827628
scientific article