Serialization of concurrent programs
scientific article; zbMATH DE number 4112081
scientific article