Types for Coordinating Secure Behavioural Variations.

Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Browse the full Coordination paper archive.