David M. Butler. The Sheaf Data Model: A Rigorous Data Model for Scientific Computing. In 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, USA, November 10-16, 2012. pages 1303-1305, IEEE Computer Society, 2012. [doi]
Abstract is missing.