TY  - RPRT
TI  - MISO: An intermediate language to express parallel and dependable programs
AU  - Alcides Fonseca
AU  - Raul Barbosa
PY  - 2016
UR  - https://arxiv.org/abs/1608.06171
ID  - 1608.06171
ER  -