Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Trace_theory> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- Trace_theory abstract "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 underpining for formal languages. The power of trace theory stems from the fact that the algebra of dependency graphs (such as Petri nets) is isomorphic to that of trace monoids, and thus, one can apply both algebraic formal language tools, as well as tools from graph theory. While the trace monoid had been studied by Pierre Cartier and Dominique Foata for its combinatorics in the 1960s, trace theory was first formulated by Antoni Mazurkiewicz in the 1970s, in an attempt to evade some of the problems in the theory of concurrent computation, including the problems of interleaving and non-deterministic choice with regards to refinement in process calculi.".
- Trace_theory wikiPageExternalLink diekert97partial.html.
- Trace_theory wikiPageID "10815131".
- Trace_theory wikiPageRevisionID "581674924".
- Trace_theory hasPhotoCollection Trace_theory.
- Trace_theory subject Category:Concurrent_computing.
- Trace_theory subject Category:Formal_languages.
- Trace_theory type Abstraction100002137.
- Trace_theory type Communication100033020.
- Trace_theory type FormalLanguages.
- Trace_theory type Language106282651.
- Trace_theory comment "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 underpining for formal languages.".
- Trace_theory label "Trace theory".
- Trace_theory sameAs m.02qqxh4.
- Trace_theory sameAs Q7831167.
- Trace_theory sameAs Q7831167.
- Trace_theory sameAs Trace_theory.
- Trace_theory wasDerivedFrom Trace_theory?oldid=581674924.
- Trace_theory isPrimaryTopicOf Trace_theory.