Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
trace theory
English Wikipedia - The Free Encyclopedia
Download this dictionary
Trace theory
In
mathematics
and
computer science
,
trace theory
aims to provide a concrete mathematical underpinning for the study of
concurrent computation
and
process calculi
. The underpinning is provided by an algebraic definition of the
free partially commutative monoid
or
trace monoid
, or equivalently, the
history monoid
, which provides a concrete algebraic foundation, analogous to the way that the
free monoid
provides the underpinning for
formal languages
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License