2 items | 3 visits
Letonchanh's List: Concurrence verification
-
-
A separation logic for refining concurrent objects
-
Modular Reasoning for Deterministic Parallelism
-
-
-
Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification.
-
1 - 2 of 2
20 items/page
List Comments
(0)
List Info