Reduction Systems - Trace Rewriting Systems

Trace Rewriting Systems

Trace theory provides a means for discussing multiprocessing in more formal terms, such as via the trace monoid and the history monoid. Rewriting can be performed in trace systems as well.

This section requires expansion.

Read more about this topic:  Reduction Systems

Famous quotes containing the words trace and/or systems:

    Superstition saw
    Something it had never seen before:
    Brown eyes that loved without a trace of fear,
    Beauty so sudden for that time of year.
    Jean Toomer (1894–1967)

    I am beginning to suspect all elaborate and special systems of education. They seem to me to be built up on the supposition that every child is a kind of idiot who must be taught to think.
    Anne Sullivan (1866–1936)