Cited By
View all- Blanchet BSmyth B(2018)Automated reasoning for equivalences in the applied pi calculus with barriersJournal of Computer Security10.3233/JCS-17101326:3(367-422)Online publication date: 1-Jan-2018
- Szustak L(2018)Strategy for data-flow synchronizations in stencil parallel computations on multi-/manycore systemsThe Journal of Supercomputing10.1007/s11227-018-2239-374:4(1534-1546)Online publication date: 1-Apr-2018
- Ruefenacht MBull MBooth S(2017)Generalisation of recursive doubling for AllReduceParallel Computing10.1016/j.parco.2017.08.00469:C(24-44)Online publication date: 1-Nov-2017
- Show More Cited By