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.
The Big Bang Theory | Without a Trace | Trace Adkins | Theory of a Deadman | music theory | probability theory | theory | Theory of relativity | Trace Bundy | theory of relativity | Social learning theory | Game Theory (band) | Game Theory | Conspiracy theory | Music theory | K-theory | AP Music Theory | Piaget's theory of cognitive development | conspiracy theory | Theory of Relativity | Theory | Terror management theory | Invariant theory | information theory | graph theory | Galois theory | Einstein–Cartan theory | Conspiracy Theory with Jesse Ventura | Chaos theory | Al Trace |