Terms for subject Programming containing ordering algorithm

English	Russian
algorithm for generating a partial ordering of events in a distributed system and detecting causality violations	алгоритм получения частичного упорядочения событий в распределённой системе и обнаружения нарушений причинно-следственных связей (ssn)
depth-first search with partial order reduction algorithm	алгоритм поиска в глубину с редукцией частичных порядков (ssn)