Béatrice Bérard Global Serializability of Concurrent Programs. 41-70 1994 124 Theor. Comput. Sci. 1 db/journals/tcs/tcs124.html#Berard94