A Formal Model of the Kubernetes Container Framework.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani

Browse the full ISoLA paper archive.