Petitpierre, ClaudeMadsen, Jan2005-03-162005-03-16199810.5075/epfl-thesis-1878https://infoscience.epfl.ch/handle/20.500.14299/210364enDebugging concurrent applicationsthesis::doctoral thesis