TY  - RPRT
TI  - Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
AU  - Bernhard Beckert
AU  - Timo Bingmann
AU  - Moritz Kiefer
AU  - Peter Sanders
AU  - Mattias Ulbrich
AU  - Alexander Weigl
PY  - 2018
UR  - https://arxiv.org/abs/1801.08766
ID  - 1801.08766
ER  -