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.
Dominique Gonzalez-Foerster | Jean Auguste Dominique Ingres | Dominique Perrault | Dominique de Villepin | Dominique Lapierre | Dominique Strauss-Kahn | Jean-Étienne Dominique Esquirol | Dominique Wilkins | Dominique Visse | Dominique Valadié | Dominique Peccatte | Dominique Dawes | Dominique Daguerre | Dominique Blais | Dominique Eade | Dominique A | Église Saint-Dominique de Bonifacio | Dominique Voynet | Dominique Vien | Dominique Othenin-Girard | Dominique Moulon | Dominique Moore | Dominique Moceanu | Dominique Joseph Garat | Dominique Jennings | Dominique-France Loeb-Picard | Dominique Dunne | Dominique Da Silva | Dominique Besnehard | Dominique Amestoy |