Safe combinations of services using B.

Bruno Mermet, Dominique Mry

Browse the full SAFECOMP paper archive.