TY - RPRT TI - Towards a Formal Model for Composable Container Systems AU - Fabio Burco AU - Marino Miculan AU - Marco Peressotti PY - 2019 UR - https://arxiv.org/abs/1912.01107 ID - 1912.01107 ER -