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)
“No civilization ... would ever have been possible without a framework of stability, to provide the wherein for the flux of change. Foremost among the stabilizing factors, more enduring than customs, manners and traditions, are the legal systems that regulate our life in the world and our daily affairs with each other.”
—Hannah Arendt (1906–1975)