58 citations · 90 across the 9 of their papers we have counts for
1 paper · 1 filter
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are…