Grace

MaRDI QIDQ20955swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1640096

Cited in

(5)

• Semantics of concurrent revisions
• Dependence analysis for safe futures
• Toward a formal semantic framework for deterministic parallel programming
• Kendo
• Safe nondeterminism in a deterministic-by-default parallel language

This page was built for software: Grace