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:

    No trace of slavery ought to mix with the studies of the freeborn man.... No study, pursued under compulsion, remains rooted in the memory.
    Plato (c. 427–347 B.C.)

    What is most original in a man’s nature is often that which is most desperate. Thus new systems are forced on the world by men who simply cannot bear the pain of living with what is. Creators care nothing for their systems except that they be unique. If Hitler had been born in Nazi Germany he wouldn’t have been content to enjoy the atmosphere.
    Leonard Cohen (b. 1934)