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:

    ‘Tis chastity, my brother, chastity.
    She that has that is clad in complete steel,
    And like a quivered nymph with arrows keen
    May trace huge forests and unharbored heaths,
    Infamous hills and sandy perilous wilds,
    Where, through the sacred rays of chastity,
    No savage fierce, bandit, or mountaineer
    Will dare to soil her virgin purity.
    John Milton (1608–1674)

    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)