Grace

swMATH8960MaRDI QIDQ20955FDOQ20955

Author name not available (Why is that?)

Cited In (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