equivalence under all reorderings. The trace monoid or free partially commutative monoid is a monoid of traces. Traces were introduced by Pierre Cartier and...

is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation...

monoids were first presented by M.W. Shields. History monoids are isomorphic to trace monoids (free partially commutative monoids) and to the monoid of...

definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation...

instructions at trace level granularity. The formal mathematical theory of traces is described by trace monoids. The earliest academic publication of trace cache...

language with syntactic monoid Z / 2 n Z {\displaystyle \mathbb {Z} /2^{n}\mathbb {Z} } . Trace monoids are examples of syntactic monoids. Marcel-Paul Schützenberger...

In abstract algebra, the free monoid on a set is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from that...

Galinon-Mélénec TRACE, a request method in the HTTP protocol Traces, the equivalence classes of strings of a trace monoid, studied in trace theories of concurrent...

the analogous case of groups) it may be called an abelian semigroup. A monoid is an algebraic structure intermediate between semigroups and groups, and...

statistics (for commutativity in physics) Quasi-commutative property Trace monoid Commuting probability Rice 2011, p. 4. Saracino 2008, p. 11. Hall 1966...

evaluation order as well. An acyclic dependency graph corresponds to a trace of a trace monoid as follows:: 12  A function ϕ : S → Σ {\displaystyle \phi :S\to...

representation. Trace theory provides a means for discussing multiprocessing in more formal terms, such as via the trace monoid and the history monoid. Rewriting...

the different parameters given to the processes/threads. History monoid Trace monoid Johnsonbaugh, Richard; Murata, Tadao (October 1982). "Petri Nets...

Oxford University Computing Laboratory.” Trace theory, the general theory of traces. Trace monoid and history monoid Ease programming language XC programming...

monoid on a finite alphabet is compact. A free monoid on a countable alphabet is compact. A finitely generated free group is compact. A trace monoid on...

monoidal operation, monoid objects in C are monoidal categories, and the above recovers the Drinfeld center. The categorical trace of a monoidal category...

polynomial was given by Straubing and a generalization was given using trace monoid theory of Foata and Cartier. The above proofs show that the Cayley–Hamilton...

Concurrent Object-Oriented Programming (SCOOP) Reo Coordination Language Trace monoids Some of these models of concurrency are primarily intended to support...

category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category's objects...

Any monoid can be understood as a special sort of category (with a single object whose self-morphisms are represented by the elements of the monoid), and...

algebraic structure is a monoid, usually called the full linear monoid, but occasionally also full linear semigroup, general linear monoid etc. It is actually...

mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in...

category theory, a (strict) n-monoid is an n-category with only one 0-cell. In particular, a 1-monoid is a monoid and a 2-monoid is a strict monoidal category...

Transformation semigroup Monoid Aperiodic monoid Free monoid Monoid (category theory) Monoid factorisation Syntactic monoid Structure Group (mathematics)...

Towards a Global Ethic: An Initial Declaration Toxin puzzle Trace (deconstruction) Trace monoid Trace theory Tractarian Tractatus coislinianus Tractatus de...

group is the dyadic monoid, which is the monoid of all strings of the form STn1STn2STn3... for positive integers ni. This monoid occurs naturally in the...

for traces can be found in The Book of Traces. A monoid in which Levi's lemma holds is said to have the equidivisibility property. The free monoid of strings...

admits an Artin–Tits presentation. Likewise, an Artin–Tits monoid is a monoid that, as a monoid, admits an Artin–Tits presentation. Alternatively, an Artin–Tits...

is then a formal language imposed on a history monoid in a consistent fashion. That is, a history monoid can only record a sequence of events, with synchronization...

the case. For example, a monoid may be viewed as a category with a single object, whose morphisms are the elements of the monoid. The second fundamental...