Guerraoui, RachidEugster, Patrick2005-03-162005-03-16200110.5075/epfl-thesis-2503https://infoscience.epfl.ch/handle/20.500.14299/211457enType-based publish/subscribethesis::doctoral thesis