“In order to characterize congruences which do model concurrency, we study the relationship of this approach and the classical representation of distributed computations with partial orders.”