Средства описания поведения параллельных программ в целях отладкистатья