"Towards a formal model for composable container systems."

Fabio Burco, Marino Miculan, Marco Peressotti (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics