Grace
From MaRDI portal
Software:20955
No author found.
Related Items (4)
Dependence analysis for safe futures ⋮ Semantics of Concurrent Revisions ⋮ Safe nondeterminism in a deterministic-by-default parallel language ⋮ Toward a Formal Semantic Framework for Deterministic Parallel Programming
This page was built for software: Grace
