Sorting realization of well-ordered sets based on π-calculus.