RAZAFIMAHEFA CHRISLAIN

Protocol for message delivery among independently evolving processes