Trace theory

In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free monoid provides the underpinning for formal languages.

单词	Trace theory
释义	Trace theory 原声例句文学 Faust is essentially tracing for us a theory of how to live a full life. 浮士德本质上是在为我们描绘一种如何过上充实生活的理论。英语百科 Trace theory In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free monoid provides the underpinning for formal languages.
随便看	controlled production controlled pulse system controlled pushdown automation controlled quantity controlled quatity controlled quenching controlled radial steering controlled radial steering gear controlled radiation area controlled randomized trial controlled rate controlled rate genlock controlled reaction controlled reaction of nuclear fusion controlled reactor controlled reader controlled recirculation boiling water reactor controlled recitifer controlled reconfiguration system controlled rectifier controlled rectifier drive controlled redundancy controlled relaxed movement Controlled release controlled released membrane