61 citations · 73 across the 3 of their papers we have counts for
1 paper · 1 filter
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission…