Towards a formal model for composable container systems.

Fabio Burco, Marino Miculan, Marco Peressotti

Browse the full SAC paper archive.