X-Nico

Burst error-correcting code

Interleaving can provide us with a $\backslash textstyle\; (\backslash lambda\; n,\; \backslash lambda\; k)$ code that can correct all bursts of length $\backslash textstyle\; \backslash leq\; \backslash lambda\; l$, for any given $\backslash textstyle\; \backslash lambda$.

Trace theory

While the trace monoid had been studied by Pierre Cartier and Dominique Foata for its combinatorics in the 1960s, trace theory was first formulated by Antoni Mazurkiewicz in the 1970s, in an attempt to evade some of the problems in the theory of concurrent computation, including the problems of interleaving and non-deterministic choice with regards to refinement in process calculi.

see also