Noman Javed, Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. In Victor Malyshkin, editor, Parallel Computing Technologies - 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings. Volume 6873 of Lecture Notes in Computer Science, pages 40-52, Springer, 2011. [doi]
Abstract is missing.