Global serializability of concurrent programs
scientific article; zbMATH DE number 540871