Silaghi, M.-C.Sam-Haroud, D.Faltings, B.2006-12-132006-12-132006-12-13200110.1142/9789812811042_0007https://infoscience.epfl.ch/handle/20.500.14299/238312ABT with Asynchronous Reorderingtext::conference output::conference proceedings::conference paper