Grace

swMATH8960MaRDI QIDQ20955FDOQ20955

Author name not available (Why is that?)

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
• Safe nondeterminism in a deterministic-by-default parallel language
• Kendo

This page was built for software: Grace