2 articles
Plactic monoid
The plactic monoid, or tableau algebra, is the monoid of semistandard Young tableaux with multiplication by insertion; two words are equal exactly when Schensted's algorithm gives the same tableau.
Trace monoid
A trace monoid, also called a free partially commutative monoid, is a monoid obtained from a free monoid by declaring certain pairs of generators to commute; its elements, called traces, model concurrent computation.