Guaranteeing liveness in an object calculus through behavioural typing.

Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani

Browse the full FORTE paper archive.