M. Batty, K. Memarian, S. Owens, S. Sarkar, and P. Sewell, Clarifying and compiling C/C++ concurrency: from C++11 to POWER, POPL, p.509520, 2012.
DOI : 10.1145/2103656.2103717

G. Bloom, G. Parmer, B. Narahari, and R. Simha, Shared hardware data structures for hard real-time systems, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '12, p.133142, 2012.
DOI : 10.1145/2380356.2380382

A. Cohen, L. Gérard, and M. Pouzet, Programming parallelism with futures in lustre, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '12, 2012.
DOI : 10.1145/2380356.2380394
URL : https://hal.archives-ouvertes.fr/hal-00786682

G. Delaval, A. Girault, and M. Pouzet, A type system for the automatic distribution of higher-order synchronous dataow programs, LCTES, 2008.

J. Giacomoni, T. Moseley, and M. Vachharajani, FastForward for ecient pipeline parallelism: a cache-optimized concurrent lock-free queue, PPOPP, p.4352, 2008.

M. Gordon, W. Thies, and S. Amarasinghe, Exploiting coarse-grained task, data, and pipeline parallelism in stream programs, ASPLOS, 2006.

R. L. Jeronimo-castrillon and G. Ascheid, Maps: Mapping concurrent dataow applications to heterogeneous mpsocs, IEEE Trans. on Industrial Informatics, p.19, 2011.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, p.125143, 1977.
DOI : 10.1109/TSE.1977.229904

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, p.28690691, 1979.
DOI : 10.1109/TC.1979.1675439

P. P. Lee, T. Bu, and G. Chandranmenon, A lock-free, cache-ecient shared ring buer for multi-core architectures, Proc. of the 5th Symp. on Architectures for Networking and Communications Systems, p.7879, 2009.

S. Owens, S. Sarkar, and P. Sewell, A Better x86 Memory Model: x86-TSO, p.391407, 2009.
DOI : 10.1007/11817963_46

A. Pop and A. Cohen, OpenStream: Expressiveness and data-ow compilation of openmp streaming programs, ACM Trans. on Architecture and Code Optimization, vol.9, issue.4, p.2013

S. Sarkar, P. Sewell, J. Alglave, L. Maranget, and D. Williams, Understanding POWER multiprocessors, PLDI, p.175186, 2011.
DOI : 10.1145/2345156.1993520
URL : https://hal.archives-ouvertes.fr/hal-01100824