Rewriting - 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:  Rewriting

Famous quotes containing the words trace and/or systems:

    Yet ere I can say where—the chariot hath
    Passed over them—nor other trace I find
    But as of foam after the ocean’s wrath
    Percy Bysshe Shelley (1792–1822)

    The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.
    Jean Baudrillard (b. 1929)